From 5327c41c823735557819e90b9fb1b843d9693a87 Mon Sep 17 00:00:00 2001
From: Matthias Radestock <matthias.radestock@gmail.com>
Date: Fri, 27 Feb 2015 16:45:24 +0000
Subject: [PATCH] Allow build to be interrupted.

This was missed in #387.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 5e6ef6bb..e52bfb5c 100644
--- a/Makefile
+++ b/Makefile
@@ -42,7 +42,7 @@ build_weavetools_exes_in_container=yes
 
 $(WEAVETOOLS_EXES): tools/build.sh
 ifdef build_weavetools_exes_in_container
-	$(SUDO) docker run --rm -v $(realpath $(<D)):/home/weave ubuntu sh /home/weave/build.sh
+	$(SUDO) docker run --rm -t -v $(realpath $(<D)):/home/weave ubuntu sh /home/weave/build.sh
 else
 	rm -rf tools/build
 	mkdir tools/build