diff options
Diffstat (limited to 'crawl-ref/source/Makefile')
-rw-r--r-- | crawl-ref/source/Makefile | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/crawl-ref/source/Makefile b/crawl-ref/source/Makefile index 9c9e022904..4428e0e975 100644 --- a/crawl-ref/source/Makefile +++ b/crawl-ref/source/Makefile @@ -1655,9 +1655,14 @@ android: TESTS=test woken_rest unwoken_rest fireworks cerebov pan_lords miscasts kraken test: $(foreach i, $(TESTS), test-$(i)) -test-%: $(GAME) util/fake_pty +test-%: $(GAME) util/fake_pty builddb util/fake_pty test/stress/run $* @echo "Finished: $*" util/fake_pty: util/fake_pty.c $(if $(HOSTCC),$(HOSTCC),$(CC)) -Wall $< -o $@ -lutil + +# Should be not needed, but the race condition in bug #6509 is hard to fix. +builddb: $(GAME) + ./$(GAME) --builddb +.PHONY: builddb |