Issue #331: another typo

GsDevKit · Aug 18, 2023 · a3a07e8 · a3a07e8
1 parent d1e3742
commit a3a07e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/bootstrapGLASS b/bin/bootstrapGLASS
@@ -77,7 +77,7 @@ $GS_HOME/bin/startTopaz $stoneName -l << EOF
 input $GS_HOME/bin/private/prepareBootstrapGLASS.tpz
 EOF
 
-if [ "enableIsNilOptimization" = "false" ]; then
+if [ "$enableIsNilOptimization" = "false" ]; then
 $GS_HOME/bin/startTopaz $stoneName -l << EOF
 input $GS_HOME/bin/private/disableIsNilOptimization.tpz
 EOF