From 4c75e0eafcfbc1f57c9b8fff204ae9209f8cda9e Mon Sep 17 00:00:00 2001
From: glondu
Date: Wed, 2 Jun 2010 16:25:35 +0000
Subject: Fix test-suite cleaning

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13052 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile            | 2 ++
 test-suite/Makefile | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/Makefile b/Makefile
index ea318c111e..0214c5ff34 100644
--- a/Makefile
+++ b/Makefile
@@ -173,6 +173,7 @@ indepclean:
 	rm -f test-suite/check.log
 	rm -f glob.dump
 	rm -f config/revision.ml revision
+	$(MAKE) -C test-suite clean
 
 docclean:
 	rm -f doc/*/*.dvi doc/*/*.aux doc/*/*.log doc/*/*.bbl doc/*/*.blg doc/*/*.toc \
@@ -220,6 +221,7 @@ cleanconfig:
 	rm -f config/Makefile config/coq_config.ml dev/ocamldebug-v7 ide/undo.mli
 
 distclean: clean cleanconfig
+	$(MAKE) -C test-suite distclean
 
 voclean:
 	rm -f states/*.coq
diff --git a/test-suite/Makefile b/test-suite/Makefile
index 486d625c5f..ed33439d3c 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -95,6 +95,9 @@ clean:
 	  -name '*.stamp' -o -name '*.vo' -o -name '*.v.log' \
 	\) -print0 | xargs -0 rm -f
 
+distclean: clean
+	$(HIDE)find . -name '*.log' -print0 | xargs -0 rm -f
+
 #######################################################################
 # Per-subsystem targets
 #######################################################################
-- 
cgit v1.2.3