diff --git a/bugs/5_psalm.sh b/bugs/5_psalm.sh index c2ff9ca..6432983 100755 --- a/bugs/5_psalm.sh +++ b/bugs/5_psalm.sh @@ -4,10 +4,10 @@ standalone=$PWD/bugs/wrap.php cd /tmp -rm -rf psalm +rm -rf psalm_5 -git clone https://github.com/vimeo/psalm -cd psalm +git clone https://github.com/vimeo/psalm psalm_5 +cd psalm_5 git checkout 7428e49b115a2a837aa29cf0fafd0ca902fe2457 git branch -D master || true @@ -30,4 +30,4 @@ rm -rf vendor docker run -v $PWD:/app --rm --privileged -it asan_tests /usr/bin/php /app/wrap.php /usr/bin/composer update -echo "OK, no bugs!" \ No newline at end of file +echo "OK, no bugs!"