diff --git a/tests/tests.sh b/tests/tests.sh index 8e4d6e5..90c7747 100755 --- a/tests/tests.sh +++ b/tests/tests.sh @@ -27,7 +27,7 @@ #variables PROGNAME="tests.sh" #executables -CONFIGURE="$OBJDIR../tools/configure" +CONFIGURE="$OBJDIR../tools/configure -S" DATE="date" DIFF="diff" RM="rm -f"