Correct the default value for $RM
This commit is contained in:
parent
82af4e72dd
commit
703e126145
@ -30,7 +30,7 @@ PROGNAME="tests.sh"
|
|||||||
CONFIGURE="$OBJDIR../src/configure"
|
CONFIGURE="$OBJDIR../src/configure"
|
||||||
DATE="date"
|
DATE="date"
|
||||||
DIFF="diff"
|
DIFF="diff"
|
||||||
RM="rm"
|
RM="rm -f"
|
||||||
|
|
||||||
|
|
||||||
#functions
|
#functions
|
||||||
|
Loading…
Reference in New Issue
Block a user