diff options
Diffstat (limited to 'crawl-ref/source/makefile')
| -rw-r--r-- | crawl-ref/source/makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/crawl-ref/source/makefile b/crawl-ref/source/makefile index d020f7b9f4..9687846479 100644 --- a/crawl-ref/source/makefile +++ b/crawl-ref/source/makefile @@ -717,6 +717,9 @@ $(OBJECTS:%.o=%.cc): $(CC_DEP) $(TILEDEFHDRS) # # Contribs # + +.INTERMEDIATE: .contrib-libs + .contrib-libs: .contrib-ok +@$(MAKE) -C contrib $(CONTRIBS) touch .contrib-libs |