From a964a7da07af0921ce173c4ef2f89fc80609366c Mon Sep 17 00:00:00 2001
From: lmamane
Date: Mon, 16 Jul 2007 10:16:38 +0000
Subject: A cleaner solution to "make deletes .ml4.d files -> infinite loop"
 problem

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10010 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 6e17851a3a..7c94fb6548 100644
--- a/Makefile
+++ b/Makefile
@@ -57,14 +57,11 @@ define stage-template
 endef
 endif
 
-stage0: always
-	$(call stage-template,0)
-
-%.o: stage0
+%.o: always
 	$(call stage-template,1)
 
 #STAGE1_TARGETS includes all object files necessary for $(STAGE1)
-stage1 $(STAGE1_TARGETS): stage0
+stage1 $(STAGE1_TARGETS): always
 	$(call stage-template,1)
 
 %.cmo %.cmx %.cmi %.cma %.cmxa %.ml4.preprocessed: stage1
-- 
cgit v1.2.3