From: Enrico Tassi 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))