Makefile: make clean now removes the .coq-native subdirs

 More precisely, we first remove *.native, *.cm*, *.o, which should
 normally consistute the only content of these .coq-native directories,
 and then remove these directories if they're indeed empty

1 files changed, 1 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 17ff8041f..c8bfe8e01 100644
--- a/Makefile
+++ b/Makefile
@@ -236,6 +236,7 @@ distclean: clean cleanconfig cacheclean
 
 voclean:
 	find theories plugins test-suite \( -name '*.vo' -o -name '*.glob' -o -name "*.cmxs" -o -name "*.native" -o -name "*.cmx" -o -name "*.cmi" -o -name "*.o" \) -delete
+	find theories plugins test-suite -name .coq-native -empty -delete
 
 devdocclean:
 	find . -name '*.dep.ps' -o -name '*.dot' | xargs rm -f