php-src/travis
Peter Kokot a45192e183
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.
2019-07-03 08:16:31 +02:00
..
ext Sync leading and final newlines in source code files 2018-10-14 12:56:38 +02:00
compile.sh Enable option checking on CI 2019-07-03 08:16:31 +02:00