]> granicus.if.org Git - php/commitdiff
make release tags not fail Travis CI
authorStanislav Malyshev <stas@php.net>
Thu, 8 May 2014 08:08:55 +0000 (01:08 -0700)
committerStanislav Malyshev <stas@php.net>
Thu, 8 May 2014 08:11:29 +0000 (01:11 -0700)
travis/compile.sh

index 8b54b714ad3f9c36e56f999aee7f0898f66d5c2d..899fb5a3351204ed44b009271d91a0dc9d70f1e4 100755 (executable)
@@ -9,7 +9,7 @@ if [[ "$ENABLE_DEBUG" == 1 ]]; then
 else
        DEBUG="";
 fi
-./buildconf
+./buildconf --force
 ./configure --quiet \
 $DEBUG \
 $TS \