Merge branch 'master' into python3

CGAL · Sep 20, 2023 · f7d83ac · f7d83ac
2 parents 68f7ce0 + 08b3935
commit f7d83ac
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/run-testsuite.sh b/run-testsuite.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 set -e
 
-if [ -z "${CGAL_TESTER}"]; then
+if [ -z "${CGAL_TESTER}" ]; then
     export CGAL_TESTER=$(whoami)
     echo 'CGAL_TESTER not set. Using `whoami`:'" $CGAL_TESTER"
 fi