diff options
| author | krakjoe <joe.watkins@live.co.uk> | 2014-06-08 22:16:06 +0100 |
|---|---|---|
| committer | krakjoe <joe.watkins@live.co.uk> | 2014-06-08 22:16:06 +0100 |
| commit | 04908509573ef599b20fa815083cce093b675541 (patch) | |
| tree | c80716d5e93c65a9341cea9f766f2883633692fd | |
| parent | 4c79fe6afa25c87f89b46d48968fdaf36b085f8c (diff) | |
| download | php-git-04908509573ef599b20fa815083cce093b675541.tar.gz | |
remove phpdbg directory from source tree on travis
| -rwxr-xr-x | travis/ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/travis/ci.sh b/travis/ci.sh index 44d56a01ff..d9f3ac6a02 100755 --- a/travis/ci.sh +++ b/travis/ci.sh @@ -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 |