diff --git a/travis/ci.sh b/travis/ci.sh index 78e59a53b66..206b158b9b6 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 ../