remove uneeded space

gustafn · Jul 23, 2017 · 406b4d2 · 406b4d2
1 parent 5ca0b27
commit 406b4d2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/install-ns.sh b/install-ns.sh
@@ -285,7 +285,7 @@ else
     git=
 fi
 
-if [  $version_ns = "HEAD" ] ; then
+if [ $version_ns = "HEAD" ] ; then
     mercurial=mercurial
     autoconf=autoconf
 else