diff options
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 da620bbf7c..4777bb0c81 100644 --- a/crawl-ref/source/makefile +++ b/crawl-ref/source/makefile @@ -735,7 +735,9 @@ $(CONTRIB_LIBS): .contrib-libs .contrib-libs: +@$(MAKE) -C contrib $(CONTRIBS) - @touch .contrib-libs + @touch $@ + +$(foreach t,$(CONTRIB_LIBS),$(if $(wildcard $t),,$(shell rm -f .contrib-libs))) ############################################################################# # Build unrandart data |