From 8539ce841616b7f2083efe7d0aac21bfca31bed7 Mon Sep 17 00:00:00 2001
From: Aidan Hobson Sayers <aidanhs@cantab.net>
Date: Fri, 13 Jan 2017 18:05:06 +0000
Subject: [PATCH] Remove strictly-unnecessary flags for docker

---
 src/ci/docker/run.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh
index 8c2c8d2a9db..79bb1756306 100755
--- a/src/ci/docker/run.sh
+++ b/src/ci/docker/run.sh
@@ -48,7 +48,5 @@ exec docker \
   --env CARGO_HOME=/cargo \
   --env LOCAL_USER_ID=`id -u` \
   --volume "$HOME/.cargo:/cargo" \
-  --interactive \
-  --tty \
   rust-ci \
   /checkout/src/ci/run.sh