From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sun, 28 Oct 2007 13:50:04 +0000 (+0000)
Subject: clean can't fail
X-Git-Tag: 0.4.95@7852~84
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=699d76ddae765f0a927648cddf624b540743f225

clean can't fail
---

diff --git a/Makefile b/Makefile
index 68921815a..94993fd97 100644
--- a/Makefile
+++ b/Makefile
@@ -27,8 +27,10 @@ else
 endif
 	$(H)touch depend-stamp
 
-clean: $(foreach d,$(SUBDIRS),rec@clean@$(d))
-distclean: $(foreach d,$(SUBDIRS),rec@distclean@$(d))
+clean: 
+	$(H)make $(foreach d,$(SUBDIRS),rec@clean@$(d)) || true
+distclean: 
+	$(H)make $(foreach d,$(SUBDIRS),rec@distclean@$(d)) || true
 	$(H)rm -rf .matita library-stamp depend-stamp
 install-indep: $(foreach d,$(SUBDIRS),rec@install-indep@$(d))
 install-arch: $(foreach d,$(SUBDIRS),rec@install-arch@$(d))