diff options
-rw-r--r-- | crawl-ref/.gitignore | 1 | ||||
-rw-r--r-- | crawl-ref/source/makefile | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/crawl-ref/.gitignore b/crawl-ref/.gitignore index 17f914c1c1..9ce18d9569 100644 --- a/crawl-ref/.gitignore +++ b/crawl-ref/.gitignore @@ -39,6 +39,7 @@ mapgen.log # Makefile-generated junk makefile.dep /source/.contrib-ok +/source/.contrib-libs /source/compflag.h # The Crawl executable. 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 |