mirror of
https://github.com/danog/jit_bugs.git
synced 2024-11-26 12:04:52 +01:00
Fix
This commit is contained in:
parent
45c5b86837
commit
735767a16e
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user