From 703e126145cef01d66b34dee85e4b7d2f25391ea Mon Sep 17 00:00:00 2001 From: Pierre Pronchery Date: Sun, 30 Apr 2017 03:33:54 +0200 Subject: [PATCH] Correct the default value for $RM --- tests/tests.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/tests.sh b/tests/tests.sh index 0b7c2d7..493b54c 100755 --- a/tests/tests.sh +++ b/tests/tests.sh @@ -30,7 +30,7 @@ PROGNAME="tests.sh" CONFIGURE="$OBJDIR../src/configure" DATE="date" DIFF="diff" -RM="rm" +RM="rm -f" #functions