From 0c4fd2dbb1a6a47e512a6c0b8e30182d7d125f39 Mon Sep 17 00:00:00 2001
From: idk <hankhill19580@gmail.com>
Date: Sun, 1 Jan 2023 22:22:03 +0000
Subject: [PATCH] quote JAVA_HOME during jbigi build
---
core/c/jbigi/build.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/core/c/jbigi/build.sh b/core/c/jbigi/build.sh
index c41a2ee7a6..6c662cba45 100755
--- a/core/c/jbigi/build.sh
+++ b/core/c/jbigi/build.sh
@@ -25,7 +25,7 @@ mkdir -p lib bin/local
# If JAVA_HOME isn't set, try to figure it out on our own
-[ -z $JAVA_HOME ] && . ../find-java-home
+[ -z "$JAVA_HOME" ] && . ../find-java-home
if [ ! -f "$JAVA_HOME/include/jni.h" ]; then
echo "ERROR: Cannot find jni.h! Looked in \"$JAVA_HOME/include/jni.h\"" >&2
echo "Please set JAVA_HOME to a java home that has the JNI" >&2
--
GitLab