1
0
mirror of https://github.com/php/php-src.git synced 2026-03-30 04:02:19 +02:00
Files
archived-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
..
2019-07-03 08:16:31 +02:00