Added a "-f" flag to the "rm"

diff --git a/lang/cem/ctest/ctgen/run1 b/lang/cem/ctest/ctgen/run1
index 4e95876..55277e7 100755 (executable)
--- a/lang/cem/ctest/ctgen/run1
+++ b/lang/cem/ctest/ctgen/run1
@@ -1,3 +1,3 @@
 make "TS=$1"
 make "P=$1" -fk ../makefile $2
-rm $1.[ckmos]
+rm -f $1.[ckmos]