mirrors/php-src
0
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-11-28 20:34:29 +08:00
Code Issues Packages Projects Releases Wiki Activity
0ed6c37140
php-src/travis
History
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