diff options
| author | Peter Kokot <peterkokot@gmail.com> | 2019-07-02 22:29:54 +0200 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2019-07-03 08:16:31 +0200 |
| commit | a45192e183d456b3288e466b51137e7e2a5e2cf6 (patch) | |
| tree | 266224ff2031a743560bc15b25990b2ec4eebea9 /travis | |
| parent | 6f558c9508b1800cd9fe72ed91d8abb48864a30e (diff) | |
| download | php-git-a45192e183d456b3288e466b51137e7e2a5e2cf6.tar.gz | |
Enable option checking on CI
This adds the Autoconf's --enable-option-checking=fatal option so
when non existing option from the PHP's configure options is used
a fatal error happens.
Diffstat (limited to 'travis')
| -rwxr-xr-x | travis/compile.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/travis/compile.sh b/travis/compile.sh index 4f5b88e386..b03336bdc8 100755 --- a/travis/compile.sh +++ b/travis/compile.sh @@ -5,7 +5,7 @@ else TS=""; fi if [[ "$ENABLE_DEBUG" == 1 ]]; then - DEBUG="--enable-debug --without-pcre-valgrind"; + DEBUG="--enable-debug"; else DEBUG=""; fi @@ -27,6 +27,7 @@ MAKE_JOBS=${MAKE_JOBS:-2} ./buildconf --force ./configure \ +--enable-option-checking=fatal \ --prefix="$HOME"/php-install \ $CONFIG_QUIET \ $DEBUG \ @@ -46,7 +47,7 @@ $TS \ --with-freetype \ --with-xpm \ --enable-exif \ ---enable-zip \ +--with-zip \ --with-zlib \ --with-zlib-dir=/usr \ --enable-soap \ |