diff options
author | 2019-04-20 22:26:16 -0700 | |
---|---|---|
committer | 2019-04-20 22:26:16 -0700 | |
commit | 30190987f4faafa730569061aa99de8f9a6a78a0 (patch) | |
tree | 85ab1d5e6260f70635e97942f4e67b0a51ba81f6 | |
parent | 1ea634a278e03d3dfd58ac444449c21ee1ba7784 (diff) |
Fix build - option got renamed to --without-libxml (#2338)
-rwxr-xr-x | projects/php/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/php/build.sh b/projects/php/build.sh index a6ca5cbe..9bf8e76c 100755 --- a/projects/php/build.sh +++ b/projects/php/build.sh @@ -20,7 +20,7 @@ cp sapi/fuzzer/json.dict $OUT/php-fuzz-json.dict cp /usr/lib/x86_64-linux-gnu/libonig.so.5 $OUT/lib/ # build project ./buildconf -./configure --enable-fuzzer --enable-option-checking=fatal --disable-libxml --disable-dom \ +./configure --enable-fuzzer --enable-option-checking=fatal --without-libxml --disable-dom \ --disable-simplexml --disable-xml --disable-xmlreader --disable-xmlwriter --without-pear \ --enable-exif --disable-phpdbg --disable-cgi --enable-mbstring make |