aboutsummaryrefslogtreecommitdiffhomepage
path: root/projects/apache-commons
diff options
context:
space:
mode:
authorGravatar Fabian Meumertzheim <meumertzheim@code-intelligence.com>2021-10-20 19:24:25 +0200
committerGravatar GitHub <noreply@github.com>2021-10-20 17:24:25 +0000
commit6562f44c8a31d20b423fe7f42283b330934c7b70 (patch)
treeb4a2b591975866d36e747ccc2e838edd3dd102dc /projects/apache-commons
parent6eca9f77fd48ae34b339628b974a4fe86e116ca5 (diff)
Fix builds after Jazzer breaking change (#6622)
Diffstat (limited to 'projects/apache-commons')
-rwxr-xr-xprojects/apache-commons/build.sh2
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