From 2f088e269c88978e89f43f6b3c01021e782735eb Mon Sep 17 00:00:00 2001
From: lmamane
Date: Wed, 18 Jul 2007 15:02:49 +0000
Subject: Makefile: Revert r10015, which was based on a misunderstanding

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

diff --git a/Makefile.build b/Makefile.build
index f246e20ed7..e814699f32 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -872,12 +872,7 @@ endif
 	$(HIDE)$(CC) -MM -MQ "$@" -MQ "$(<:.c=.o)" $(CFLAGS) $(CINCLUDES) $< > $@ \
 	  || ( RV=$$?; rm -f "$@"; exit $${RV} )
 
-## The GENFILES and ML4FILESML files need to be secondary, else they
-## get deleted by make after the dependencies get generated. This may
-## at first sight be a good thing, but then if any one .ml.d
-## dependency needs to be regenerated, these files get regenerated,
-## which triggers the recalculation of _all_ .ml.d dependencies!
-.SECONDARY: $(GENFILES) $(ML4FILESML)
+.SECONDARY: $(GENFILES)
 
 ###########################################################################
 # this sets up developper supporting stuff
-- 
cgit v1.2.3