From a3c4febd0141b7283a03d643f06e1f8cd9750276 Mon Sep 17 00:00:00 2001
From: lmamane
Date: Sun, 15 Jul 2007 20:59:42 +0000
Subject: Makefile: use CFLAGS for dependency generation of .c files

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

diff --git a/Makefile.build b/Makefile.build
index b93abc7e31..7f79c60c97 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -855,7 +855,7 @@ endif
 
 %.c.d: %.c
 	$(SHOW)'CCDEP     $<'
-	$(HIDE)$(CC) -MM $(CINCLUDES) $< > $@
+	$(HIDE)$(CC) -MM $(CFLAGS) $(CINCLUDES) $<  > $@
 
 .PRECIOUS: %.ml %.mli %.d %.ml4.d kernel/copcodes.ml
 
-- 
cgit v1.2.3