summaryrefslogtreecommitdiffstats
path: root/crawl-ref/source/Makefile
diff options
context:
space:
mode:
authorSamuel Bronson <naesten@gmail.com>2013-05-24 16:17:47 -0400
committerSamuel Bronson <naesten@gmail.com>2013-05-24 16:17:47 -0400
commitd40f694ba2df5102e3601505dd7bc33aa6822728 (patch)
tree509085dba6aee05325bb05c02f41d89427b24700 /crawl-ref/source/Makefile
parent32ea864de042ea82a0db5097f95e647d2754393d (diff)
downloadcrawl-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/Makefile4
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