From 3bb7036cfdff6844702e36ec0c953b54600d3cc3 Mon Sep 17 00:00:00 2001
From: Adam Harrison <harrisonadamw@gmail.com>
Date: Thu, 12 Nov 2015 16:48:56 +0000
Subject: [PATCH] Runner depends on tools

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 335da1b0..b13b3454 100644
--- a/Makefile
+++ b/Makefile
@@ -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)