diff --git a/src/scripts/extensions/patches/gearman.sh b/src/scripts/extensions/patches/gearman.sh new file mode 100644 index 00000000..b82ced72 --- /dev/null +++ b/src/scripts/extensions/patches/gearman.sh @@ -0,0 +1,5 @@ +patch_gearman() { + if [[ "${version:?}" =~ ${nightly_versions:?} ]]; then + sed -i~ -e "s/zend_exception_get_default()/zend_ce_exception/" php_gearman.c + fi +}