From e17dd18ea716f157112fec03ccd03b038464ed06 Mon Sep 17 00:00:00 2001
From: notin
Date: Tue, 2 Oct 2007 16:02:13 +0000
Subject: Preventing gcc to generate dependencies wrt OCaml files (otherwise,
 we run into troubles under Windows)

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

diff --git a/Makefile.build b/Makefile.build
index 89ebaf6a10..d8a834e27d 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -867,7 +867,7 @@ endif
 
 %.c.d: %.c | $(GENHFILES)
 	$(SHOW)'CCDEP     $<'
-	$(HIDE)$(CC) -MM -MQ "$@" -MQ "$(<:.c=.o)" $(CFLAGS) $(CINCLUDES) $< > $@ \
+	$(HIDE)$(CC) -MM -MQ "$@" -MQ "$(<:.c=.o)" $(CFLAGS) $< > $@ \
 	  || ( RV=$$?; rm -f "$@"; exit $${RV} )
 
 .SECONDARY: $(GENFILES)
-- 
cgit v1.2.3