diff options
Diffstat (limited to 'crawl-ref/source/Makefile')
-rw-r--r-- | crawl-ref/source/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crawl-ref/source/Makefile b/crawl-ref/source/Makefile index db39bd95cc..57201aaa47 100644 --- a/crawl-ref/source/Makefile +++ b/crawl-ref/source/Makefile @@ -1712,7 +1712,7 @@ test-%: $(GAME) util/fake_pty builddb @echo "Finished: $*" util/fake_pty: util/fake_pty.c - $(QUIET_HOSTCC)$(if $(HOSTCC),$(HOSTCC),$(CC)) -Wall $< -o $@ -lutil + $(QUIET_HOSTCC)$(if $(HOSTCC),$(HOSTCC),$(CC)) $(if $(TRAVIS),-DTRAVIS,) -Wall $< -o $@ -lutil # Should be not needed, but the race condition in bug #6509 is hard to fix. builddb: $(GAME) |