Fix bootstrap check for dev tag

obino · Oct 11, 2019 · 3b8d68f · 3b8d68f
1 parent a6e5a42
commit 3b8d68f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bootstrap.sh b/bootstrap.sh
@@ -110,7 +110,7 @@ while [ $# -gt 0 ]; do
     if [ "${1}" = "--tag" ]; then
         shift; if [ -z "${1}" ]; then usage; fi
         GIT_TAG="${1}";
-        if [${GIT_TAG} != "dev" ]; then TAG_PARAM_SPECIFIED="Y"; fi
+        if [ "${GIT_TAG}" != "dev" ]; then TAG_PARAM_SPECIFIED="Y"; fi
         shift; continue
     fi
     if [ "${1}" = "-t" ]; then