From 6a58c425b296e7687ddb19e0b5c74b3c22b12db2 Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Sun, 18 Mar 2018 23:44:02 +0100 Subject: [PATCH] Slightly augment the code coverage for tests --- tests/tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/tests.sh b/tests/tests.sh index 90c7747..2f8a94c 100755 --- a/tests/tests.sh +++ b/tests/tests.sh @@ -27,7 +27,7 @@ #variables PROGNAME="tests.sh" #executables -CONFIGURE="$OBJDIR../tools/configure -S" +CONFIGURE="$OBJDIR../tools/configure -S -q -v" DATE="date" DIFF="diff" RM="rm -f"