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 ++
 1 file changed, 2 insertions(+)

(limited to 'Makefile')

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
-- 
cgit v1.2.3