From f043a72a0e632455f9939383efd60c131973c570 Mon Sep 17 00:00:00 2001
From: Fabian Meumertzheim <fabian@meumertzhe.im>
Date: Tue, 19 Oct 2021 11:14:17 +0200
Subject: [PATCH] [kryo] Fix build in anticipation of a Jazzer breaking change
 (#6616)

Jazzer now uses ':' instead of ';' to separate JVM arguments.
---
 projects/kryo/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/projects/kryo/build.sh b/projects/kryo/build.sh
index 9d53d396b..c7f22d452 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