]> granicus.if.org Git - php/commitdiff
remove phpdbg directory from source tree on travis
authorkrakjoe <joe.watkins@live.co.uk>
Sun, 8 Jun 2014 21:16:06 +0000 (22:16 +0100)
committerkrakjoe <joe.watkins@live.co.uk>
Sun, 8 Jun 2014 21:16:06 +0000 (22:16 +0100)
travis/ci.sh

index 44d56a01ffe86de0103fad8ef627c712ec2bda44..d9f3ac6a02b0694bf7ec5f0a5bbfc0f1d186c17d 100755 (executable)
@@ -1,6 +1,7 @@
 #!/usr/bin/env sh
 git clone https://github.com/php/php-src
 cd php-src/sapi
+rm -rf phpdbg
 git clone https://github.com/krakjoe/phpdbg.git
 cd ../
 ./buildconf --force