summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 264f5b1e0..c6d6635a2 100644
--- a/Makefile
+++ b/Makefile
@@ -488,6 +488,7 @@ clean:
- find . -name \*.o -exec rm -f {} \;
- find . -name \*.om -exec rm -f {} \;
- find . -name \*.os -exec rm -f {} \;
+ - find . -name \*.osm -exec rm -f {} \;
- find . -name \*.a -exec rm -f {} \;
distclean: clean