diff options
author | Fabian Meumertzheim <fabian@meumertzhe.im> | 2021-10-19 11:14:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-19 10:14:17 +0100 |
commit | f043a72a0e632455f9939383efd60c131973c570 (patch) | |
tree | 8b71cadaca6694b314c1e8cd0c1e8691afdf081d /projects/kryo | |
parent | fd2e1a750b8a8e244eb783c2797422580fb9a30e (diff) |
[kryo] Fix build in anticipation of a Jazzer breaking change (#6616)
Jazzer now uses ':' instead of ';' to separate JVM arguments.
Diffstat (limited to 'projects/kryo')
-rw-r--r-- | projects/kryo/build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/kryo/build.sh b/projects/kryo/build.sh index 9d53d396..c7f22d45 100644 --- a/projects/kryo/build.sh +++ b/projects/kryo/build.sh @@ -45,7 +45,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;--enable-preview\" \ +--jvm_args=\"-Xmx2048m:--enable-preview\" \ \$@" > $OUT/$fuzzer_basename chmod +x $OUT/$fuzzer_basename done |