hake.sh: add missing space in bash test
authorKornilios Kourtis <kkourt@inf.ethz.ch>
Wed, 7 Sep 2011 07:50:34 +0000 (09:50 +0200)
committerKornilios Kourtis <kkourt@inf.ethz.ch>
Wed, 7 Sep 2011 07:50:34 +0000 (09:50 +0200)
hake/hake.sh

index c56f4c5..8d1071b 100755 (executable)
@@ -67,7 +67,7 @@ while [ $# -ne 0 ]; do
     shift
 done
 
-if [ -z "$INSTALLDIR"] ; then
+if [ -z "$INSTALLDIR" ] ; then
     echo "Install directory defaulting to '.'"
     INSTALLDIR="."
 else