dev/bisect.sh: fix typo; restore compat with older GAP versions (#5746)

gap-system · Jun 18, 2024 · 800b0c0 · 800b0c0
1 parent c324920
commit 800b0c0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/dev/bisect.sh b/dev/bisect.sh
@@ -95,7 +95,7 @@ make -j8 || exit 125
 echo "HEAD: "$(git rev-parse HEAD)
 echo "Running tests..."
 
-if [-x bin/gap.sh ] ; then
+if [ -x bin/gap.sh ] ; then
   GAP=bin/gap.sh
 else
   GAP=./gap
@@ -132,9 +132,9 @@ fi;
 # run the actual test
 if Test("'${TESTFILE}'") then
   Print("Commit is good\\n");
-  QuitGap(0);
+  QUIT_GAP(0);
 else
   Print("Commit is bad\\n");
-  QuitGap(1);
+  QUIT_GAP(1);
 fi;
 ' | ${GAP} -A -b -q