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: make_still_working~5933
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0311d53e418a2f82b47d08ecd7157bc6ecc81732;p=helm.git

clean can't fail
---

diff --git a/helm/software/Makefile b/helm/software/Makefile
index 68921815a..94993fd97 100644
--- a/helm/software/Makefile
+++ b/helm/software/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))