From 243b169cae8b3790a852eb48fb0354596b337014 Mon Sep 17 00:00:00 2001 From: Daniil Gentili Date: Sat, 11 Nov 2023 19:06:16 +0100 Subject: [PATCH] The code already exits --- bugs/7_psalm_master.sh | 1 - bugs/8_psalm_master_refactor.sh | 1 - 2 files changed, 2 deletions(-) diff --git a/bugs/7_psalm_master.sh b/bugs/7_psalm_master.sh index 1957d65..848647d 100755 --- a/bugs/7_psalm_master.sh +++ b/bugs/7_psalm_master.sh @@ -15,7 +15,6 @@ git branch master git checkout master sed 's:findUnusedCode=:cacheDirectory="/tmp/psalm" findUnusedCode=:g' -i psalm.xml.dist -sed 's/error_log[(]/exit(/g' -i src/Psalm/Internal/Fork/Pool.php export PSALM_ALLOW_XDEBUG=1 diff --git a/bugs/8_psalm_master_refactor.sh b/bugs/8_psalm_master_refactor.sh index 5265cb6..2590071 100755 --- a/bugs/8_psalm_master_refactor.sh +++ b/bugs/8_psalm_master_refactor.sh @@ -28,7 +28,6 @@ echo "About to run psalm" php $refactor sed 's:findUnusedCode=:cacheDirectory="/tmp/psalm" findUnusedCode=:g' -i psalm.xml.dist -sed 's/error_log[(]/exit(/g' -i src/Psalm/Internal/Fork/Pool.php sleep 3