From fe0d62e0e95c157c0103a70454b74b1d7e89e041 Mon Sep 17 00:00:00 2001
From: glondu
Date: Sat, 14 Jan 2012 11:45:32 +0000
Subject: Add distclean back to test-suite/Makefile

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

diff --git a/test-suite/Makefile b/test-suite/Makefile
index cd5886f823..f3013c04dc 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -97,6 +97,9 @@ clean:
 	  -name '*.stamp' -o -name '*.vo' -o -name '*.log' \
 	\) -print0 | xargs -0 rm -f
 
+distclean: clean
+	$(HIDE)find . -name '*.log' -print0 | xargs -0 rm -f
+
 #######################################################################
 # Per-subsystem targets
 #######################################################################
-- 
cgit v1.2.3