mirror of
https://github.com/danog/jit_bugs.git
synced 2024-11-30 04:39:12 +01:00
27 lines
518 B
Bash
Executable File
27 lines
518 B
Bash
Executable File
#!/bin/bash -e
|
|
|
|
standalone=$PWD/bugs/wrap.php
|
|
|
|
cd /tmp
|
|
|
|
rm -rf psalm_7
|
|
|
|
git clone https://github.com/nicelocal/psalm -b master psalm_7
|
|
cd psalm_7
|
|
git checkout c7d7b48bdd798b404976054d1b5220082c2f246e
|
|
|
|
git branch -D master || true
|
|
git branch master
|
|
git checkout master
|
|
|
|
export PSALM_ALLOW_XDEBUG=1
|
|
|
|
cp $standalone .
|
|
|
|
composer i --ignore-platform-reqs
|
|
|
|
echo "About to run psalm"
|
|
|
|
docker run -v $PWD:/app --rm --privileged -it asan_tests /usr/bin/php --repeat 2 -f /app/wrap.php /app/psalm --no-cache
|
|
|
|
echo "OK, no bugs!" |