Commit c4d16287 authored by Dr. Stephen Henson's avatar Dr. Stephen Henson
Browse files

Don't assume version of rm supports -rf: use RM instead.

parent 1eb89396
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -942,7 +942,7 @@ md \"$outdir\"
END
		    } else {
		    print OUT <<END
\$RM -rf \"$outdir\"
\$RM \"$outdir\"
\$MKDIR \"$outdir\"

END