diff options
| -rw-r--r-- | Makefile.build | 2 |
1 files changed, 1 insertions, 1 deletions
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 |