diff --git a/scripts/regressiontests.sh b/scripts/regressiontests.sh
index 8a6d2e687a1724311158927452416b90f86f9607..c67002f6dddc155397b429bdc747741597688161 100755
--- a/scripts/regressiontests.sh
+++ b/scripts/regressiontests.sh
@@ -53,12 +53,12 @@ cd ./testcases/regression
 #done
 
 #HOL4 regression tests
-$HOLDIR/bin/Holmake heap
+Holmake heap
 
 for fname in ./*.sml; do
     FILEPRE=${fname/Script.sml/}
     FILENAME=$FILEPRE
-    $HOLDIR/bin/Holmake ${fname/Script.sml/Theory.sig}
+    Holmake ${fname/Script.sml/Theory.sig}
     if [ $? -eq 0 ]
     then
        echo "Successfully checked $FILENAME"