From 14f17812b64bb21d16673ce5b6fb691936db4a86 Mon Sep 17 00:00:00 2001 From: Ileana Dumitrescu Date: Fri, 7 Feb 2025 20:58:04 +0200 Subject: [PATCH] Revert change --- build-on.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-on.sh b/build-on.sh index 2f802b6..5cd1e20 100755 --- a/build-on.sh +++ b/build-on.sh @@ -65,7 +65,7 @@ case "$commit_message" in ;; *) # Run the tests. - $make check $make_options V=1 TESTSUITEFLAGS="--debug 1" > log3 2>&1; rc=$?; cat log3; test $rc = 0 || exit 1 + $make check $make_options V=1 TESTSUITEFLAGS="--debug" > log3 2>&1; rc=$?; cat log3; test $rc = 0 || exit 1 ;; esac