aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Stanislav Malyshev <smalyshev@users.noreply.github.com>2019-04-20 22:26:16 -0700
committerGravatar Abhishek Arya <inferno@chromium.org>2019-04-20 22:26:16 -0700
commit30190987f4faafa730569061aa99de8f9a6a78a0 (patch)
tree85ab1d5e6260f70635e97942f4e67b0a51ba81f6
parent1ea634a278e03d3dfd58ac444449c21ee1ba7784 (diff)
Fix build - option got renamed to --without-libxml (#2338)
-rwxr-xr-xprojects/php/build.sh2
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