Runner depends on tools

2015-11-12 16:48:56 +00:00
1 parent d802eb485b
commit 3bb7036cfd
@@ -119,7 +119,7 @@ lint: tools/.git
 tools/.git:
 	git submodule update --init

-$(RUNNER_EXE):
+$(RUNNER_EXE): tools/.git
 	make -C tools/runner

 $(PUBLISH): publish_%: $(IMAGES_UPTODATE)