From 4bd27fc21be90dd9dbeb9340e7be9007f82c09f7 Mon Sep 17 00:00:00 2001
From: Aidan Hobson Sayers <aidanhs@cantab.net>
Date: Thu, 6 Jul 2017 18:42:49 +0100
Subject: [PATCH] Privileged in docker run isn't necessary

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

diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh
index 4f34a7214cbc6..da74ffb41ffcc 100755
--- a/src/ci/docker/run.sh
+++ b/src/ci/docker/run.sh
@@ -82,7 +82,6 @@ exec docker \
   --env TRAVIS_BRANCH \
   --volume "$HOME/.cargo:/cargo" \
   --volume "$HOME/rustsrc:$HOME/rustsrc" \
-  --privileged \
   --rm \
   rust-ci \
   /checkout/src/ci/run.sh