From 491a678db48563b126fec47d54dec1d76ccae701 Mon Sep 17 00:00:00 2001
From: Heiko Becker <hbecker@mpi-sws.org>
Date: Thu, 9 Sep 2021 14:05:51 +0200
Subject: [PATCH] Fix typo in regression testing script
---
scripts/regressiontests.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/scripts/regressiontests.sh b/scripts/regressiontests.sh
index 8a6d2e68..c67002f6 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"
--
GitLab