Skip to content

Commit

Permalink
Merge pull request #120 from andreacasarin/master
Browse files Browse the repository at this point in the history
Option to disable PCRE JIT
  • Loading branch information
smorimoto authored Jul 1, 2022
2 parents 515c7b1 + cbb0b02 commit 4d6388b
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions bin/install
Original file line number Diff line number Diff line change
Expand Up @@ -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"
}

Expand Down

0 comments on commit 4d6388b

Please sign in to comment.