diff options
author | Samuel Bronson <naesten@gmail.com> | 2013-05-24 16:17:47 -0400 |
---|---|---|
committer | Samuel Bronson <naesten@gmail.com> | 2013-05-24 16:17:47 -0400 |
commit | d40f694ba2df5102e3601505dd7bc33aa6822728 (patch) | |
tree | 509085dba6aee05325bb05c02f41d89427b24700 /crawl-ref/source/Makefile | |
parent | 32ea864de042ea82a0db5097f95e647d2754393d (diff) | |
download | crawl-ref-d40f694ba2df5102e3601505dd7bc33aa6822728.tar.gz crawl-ref-d40f694ba2df5102e3601505dd7bc33aa6822728.zip |
Make PCH depend on system headers in future, to ensure freshness
Without this, we're liable to try mixing the ghost of old headers with
new headers, which can go pretty badly.
Diffstat (limited to 'crawl-ref/source/Makefile')
-rw-r--r-- | crawl-ref/source/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/crawl-ref/source/Makefile b/crawl-ref/source/Makefile index 5c37657e34..a95a055c2e 100644 --- a/crawl-ref/source/Makefile +++ b/crawl-ref/source/Makefile @@ -1407,7 +1407,9 @@ $(DEPS): %.d: %.cc ifdef PCH -include AppHdr.h.d %.gch: % .cflags $(CONTRIB_LIBS) - $(QUIET_PCH)$(CXX) $(ALL_CFLAGS) $(INLINE_DEPGEN_CFLAGS) -c $< -o $@ +# This needs -MD, not -MMD, lest we be haunted by the ghosts of stale +# system headers. + $(QUIET_PCH)$(CXX) $(ALL_CFLAGS) -MD -c $< -o $@ CC_DEP := AppHdr.h.gch endif |