Addressed whitespace issues in SIREUM_HOME path.

sireum · Sep 11, 2024 · 0704b88 · 0704b88
1 parent dcfa1b1
commit 0704b88
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/bin/project-standalone.cmd b/bin/project-standalone.cmd
@@ -1,6 +1,6 @@
 ::/*#! 2> /dev/null                                   #
 @ 2>/dev/null # 2>nul & echo off & goto BOF           #
-if [ -z ${SIREUM_HOME} ]; then                        #
+if [ -z "${SIREUM_HOME}" ]; then                      #
   echo "Please set SIREUM_HOME env var"               #
   exit -1                                             #
 fi                                                    #

diff --git a/bin/project.cmd b/bin/project.cmd
@@ -1,6 +1,6 @@
 ::/*#! 2> /dev/null                                   #
 @ 2>/dev/null # 2>nul & echo off & goto BOF           #
-if [ -z ${SIREUM_HOME} ]; then                        #
+if [ -z "${SIREUM_HOME}" ]; then                      #
   echo "Please set SIREUM_HOME env var"               #
   exit -1                                             #
 fi                                                    #