diff options
author | 2021-10-20 19:24:25 +0200 | |
---|---|---|
committer | 2021-10-20 17:24:25 +0000 | |
commit | 6562f44c8a31d20b423fe7f42283b330934c7b70 (patch) | |
tree | b4a2b591975866d36e747ccc2e838edd3dd102dc /projects/apache-commons | |
parent | 6eca9f77fd48ae34b339628b974a4fe86e116ca5 (diff) |
Fix builds after Jazzer breaking change (#6622)
Follow-up to f043a72a0e632455f9939383efd60c131973c570, which became necessary due to
https://github.com/CodeIntelligenceTesting/jazzer/commit/24069c388579f54ec9872e61efa44f5e6065f838
Diffstat (limited to 'projects/apache-commons')
-rwxr-xr-x | projects/apache-commons/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/apache-commons/build.sh b/projects/apache-commons/build.sh index 6716afdf..083fca54 100755 --- a/projects/apache-commons/build.sh +++ b/projects/apache-commons/build.sh @@ -59,7 +59,7 @@ LD_LIBRARY_PATH=\"$JVM_LD_LIBRARY_PATH\":\$this_dir \ \$this_dir/jazzer_driver --agent_path=\$this_dir/jazzer_agent_deploy.jar \ --cp=$RUNTIME_CLASSPATH \ --target_class=$fuzzer_basename \ ---jvm_args=\"-Xmx2048m;-Djava.awt.headless=true\" \ +--jvm_args=\"-Xmx2048m:-Djava.awt.headless=true\" \ \$@" > $OUT/$fuzzer_basename chmod +x $OUT/$fuzzer_basename done |