diff --git a/lang/cem/ctest/ctgen/run1 b/lang/cem/ctest/ctgen/run1
index 4e9587638..55277e7f1 100755
--- 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]