diff --git a/bin/install b/bin/install index 08969d0..c40be12 100755 --- a/bin/install +++ b/bin/install @@ -185,6 +185,12 @@ construct_configure_options() { fi fi + if [ "${PHP_WITHOUT_PCRE_JIT:-no}" != "no" ]; then + configure_options="$configure_options" + else + configure_options="$configure_options --without-pcre-jit" + fi + echo "$configure_options" }