update runBench.sh

svenssonjoel · Nov 17, 2014 · d4bdef1 · d4bdef1
1 parent 4bb59ba
commit d4bdef1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.jenkins_runBench.sh b/.jenkins_runBench.sh
@@ -40,7 +40,7 @@ set -e
 #this makefile also install Obsidian+hsbencher as a single cabal install line
 DIR=`pwd`  
 echo $DIR 
-if [! -d "HSBencher"]; then 
+if [ ! -d "HSBencher" ]; then 
     git clone [email protected]:rrnewton/HSBencher
 fi