summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authornsensfel <SpamShield0@noot-noot.org>2018-05-28 16:33:16 +0200
committernsensfel <SpamShield0@noot-noot.org>2018-05-28 16:33:16 +0200
commit5aaa03c62f784c75991b72b6745919eabb68445d (patch)
tree2b230fe3947c313cbd04323fd581308c170847fb
parenta8e7e53a19ccc80e41b48e737ffed36e13110380 (diff)
Ensures required headers are present.
-rw-r--r--src/battlemap/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/battlemap/Makefile b/src/battlemap/Makefile
index 75b3711..9b0c9f4 100644
--- a/src/battlemap/Makefile
+++ b/src/battlemap/Makefile
@@ -58,7 +58,7 @@ all: build
debug: debug_run
-build: $(PREPROCESSOR_RESULT) $(ERLANG_RESULT)
+build: $(REQUIRED_HEADERS) $(PREPROCESSOR_RESULT) $(ERLANG_RESULT)
run: yaws_run