mirror of
https://github.com/danog/jit_bugs.git
synced 2024-11-30 04:39:12 +01:00
The code already exits
This commit is contained in:
parent
d55e70868e
commit
243b169cae
@ -15,7 +15,6 @@ git branch master
|
|||||||
git checkout master
|
git checkout master
|
||||||
|
|
||||||
sed 's:findUnusedCode=:cacheDirectory="/tmp/psalm" findUnusedCode=:g' -i psalm.xml.dist
|
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
|
export PSALM_ALLOW_XDEBUG=1
|
||||||
|
|
||||||
|
@ -28,7 +28,6 @@ echo "About to run psalm"
|
|||||||
php $refactor
|
php $refactor
|
||||||
|
|
||||||
sed 's:findUnusedCode=:cacheDirectory="/tmp/psalm" findUnusedCode=:g' -i psalm.xml.dist
|
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
|
sleep 3
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user