diff options
Diffstat (limited to 'server')
| -rw-r--r-- | server/makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/server/makefile b/server/makefile index 73e99a2d..7162a982 100644 --- a/server/makefile +++ b/server/makefile @@ -20,12 +20,13 @@ DISCOVER = ../target/release/hurrycurry-discover BOT = ../target/release/hurrycurry-bot EDITOR = ../target/release/hurrycurry-editor -.PHONY: all clean server replaytool discover bot -all: server replaytool discover bot +.PHONY: all clean server replaytool discover bot editor +all: server replaytool discover bot editor server: $(SERVER) replaytool: $(REPLAYTOOL) discover: $(DISCOVER) bot: $(BOT) +editor: $(EDITOR) clean: $(SERVER): $(shell find protocol src -type f) |