From 699d76ddae765f0a927648cddf624b540743f225 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sun, 28 Oct 2007 13:50:04 +0000
Subject: [PATCH] clean can't fail

---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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))
-- 
2.39.2