Skip to content
Browse files

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
  • Loading branch information...
1 parent 5a3ea72 commit fe0d62e0e95c157c0103a70454b74b1d7e89e041 glondu committed Jan 14, 2012
Showing with 3 additions and 0 deletions.
  1. +3 −0 test-suite/Makefile
View
3 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
#######################################################################

0 comments on commit fe0d62e

Please sign in to comment.
Something went wrong with that request. Please try again.