diff options
-rw-r--r-- | crawl-ref/source/makefile | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/crawl-ref/source/makefile b/crawl-ref/source/makefile index feedfd0f10..02461f17db 100644 --- a/crawl-ref/source/makefile +++ b/crawl-ref/source/makefile @@ -607,7 +607,10 @@ ifneq ($(MAKECMDGOALS),distclean) endif endif -.INTERMEDIATE: build.h compflag.h +# This information is included in crash reports, and is printed with +# "crawl -version" +compflag.h: + $(QUIET_GEN)util/gen-cflg.pl compflag.h "$(CFLAGS)" "$(CFLAGS_L)" "$(LDFLAGS)" build.h: $(QUIET_GEN)util/gen_ver.pl $@ @@ -698,11 +701,6 @@ distclean: clean clean-contrib clean-rltiles done @touch .contrib-ok -# This information is included in crash reports, and is printed with -# "crawl -version" -compflag.h: - $(QUIET_GEN)util/gen-cflg.pl compflag.h "$(CFLAGS)" "$(CFLAGS_L)" "$(LDFLAGS)" - $(GAME): $(GAME_DEPENDS) $(QUIET_LINK)$(CXX) $(LDFLAGS) $(EXTRA_OBJECTS) $(OBJECTS) -o $(GAME) $(LIB) |