diff options
Diffstat (limited to 'projects/php/build.sh')
-rwxr-xr-x | projects/php/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/projects/php/build.sh b/projects/php/build.sh index c996d0bdd..18a861f91 100755 --- a/projects/php/build.sh +++ b/projects/php/build.sh @@ -66,6 +66,7 @@ done # In practice it is currently also incompatible with ubsan. if [ "$SANITIZER" != "memory" ] && [ "$SANITIZER" != "undefined" ]; then cp sapi/fuzzer/php-fuzz-function-jit $OUT/ + cp sapi/fuzzer/php-fuzz-tracing-jit $OUT/ # Copy opcache.so extension, which does not support static linking. mkdir -p $OUT/modules |