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 /azure/i386 | |
| 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 'azure/i386')
| -rw-r--r-- | azure/i386/job.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/azure/i386/job.yml b/azure/i386/job.yml index 09bca0918e..1183906fce 100644 --- a/azure/i386/job.yml +++ b/azure/i386/job.yml @@ -15,6 +15,7 @@ jobs: export LDFLAGS=-L/usr/lib/i386-linux-gnu export PKG_CONFIG=/usr/bin/i686-linux-gnu-pkg-config ./configure ${{ parameters.configurationParameters }} \ + --enable-option-checking=fatal \ --prefix=/usr \ --enable-phpdbg \ --enable-fpm \ |