From 81c2639d9360e49ad1fc9c0edf4811a306239309 Mon Sep 17 00:00:00 2001
From: Salvatore Filippone <salvatore.filippone@cranfield.ac.uk>
Date: Sun, 8 Sep 2019 16:53:57 +0100
Subject: [PATCH] Make clean deal with module files.

---
 mlprec/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mlprec/Makefile b/mlprec/Makefile
index e9870075..7b5b3d24 100644
--- 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