diff options
author | Joe Watkins <krakjoe@php.net> | 2019-07-03 08:16:47 +0200 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2019-07-03 08:16:47 +0200 |
commit | 4fb595d8b72e1a1059aac32bca24f6c8b915b091 (patch) | |
tree | 5a0f1658f8c6241fa679cec68e7b49988f6106f1 /azure/job.yml | |
parent | 0baf81514a44ee4988384ffbe6e448781267001c (diff) | |
parent | a45192e183d456b3288e466b51137e7e2a5e2cf6 (diff) | |
download | php-git-4fb595d8b72e1a1059aac32bca24f6c8b915b091.tar.gz |
Merge branch 'PHP-7.4'
* PHP-7.4:
Enable option checking on CI
Diffstat (limited to 'azure/job.yml')
-rw-r--r-- | azure/job.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/azure/job.yml b/azure/job.yml index 425e54ceee..4da192cc17 100644 --- a/azure/job.yml +++ b/azure/job.yml @@ -14,6 +14,7 @@ jobs: - script: | ./buildconf --force ./configure ${{ parameters.configurationParameters }} \ + --enable-option-checking=fatal \ --prefix=/usr \ --enable-phpdbg \ --enable-fpm \ |