Make clean deal with module files.

5 years ago · 81c2639d93
parent c4bf2eae7b
commit 81c2639d93
1 changed files with 1 additions and 1 deletions
--- a/mlprec/Makefile
+++ b/mlprec/Makefile
@ -169,7 +169,7 @@ veryclean: clean
 	/bin/rm -f $(LIBNAME)
 clean: implclean
-	/bin/rm -f $(OBJS) $(LOCAL_MODS)
+	/bin/rm -f $(OBJS) $(LOCAL_MODS) *$(.mod)
 implclean:
 	cd impl && $(MAKE) clean