diff options
-rw-r--r-- | testsuite/tests/asmcomp/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/asmcomp/Makefile b/testsuite/tests/asmcomp/Makefile index d2a34bf72..aa37bf9e4 100644 --- a/testsuite/tests/asmcomp/Makefile +++ b/testsuite/tests/asmcomp/Makefile @@ -83,7 +83,7 @@ one: && echo " => passed" || echo " => failed" clean: defaultclean - @rm -f ./codegen *.out *.cm* *.o *.obj *.exe + @rm -f ./codegen *.out *.o *.obj *.exe @rm -f parsecmm.ml parsecmm.mli lexcmm.ml @rm -f $(CASES:=.s) |