| summaryrefslogtreecommitdiff |
diff options
| author | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 16:33:16 +0200 |
|---|---|---|
| committer | nsensfel <SpamShield0@noot-noot.org> | 2018-05-28 16:33:16 +0200 |
| commit | 5aaa03c62f784c75991b72b6745919eabb68445d (patch) | |
| tree | 2b230fe3947c313cbd04323fd581308c170847fb /src/battlemap/Makefile | |
| parent | a8e7e53a19ccc80e41b48e737ffed36e13110380 (diff) | |
Ensures required headers are present.
Diffstat (limited to 'src/battlemap/Makefile')
| -rw-r--r-- | src/battlemap/Makefile | 2 |
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 |