diff options
| -rwxr-xr-x | travis/ci.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/travis/ci.sh b/travis/ci.sh index 78e59a53b6..206b158b9b 100755 --- a/travis/ci.sh +++ b/travis/ci.sh @@ -1,7 +1,8 @@ #!/usr/bin/env sh git clone https://github.com/php/php-src +cd php-src git checkout $PHP -cd php-src/sapi +cd sapi rm -rf phpdbg git clone https://github.com/krakjoe/phpdbg.git cd ../ |