From f305647377ebb4db5992e544614c868dbc095d6c Mon Sep 17 00:00:00 2001
From: Aidan Hobson Sayers <aidanhs@cantab.net>
Date: Fri, 7 Jul 2017 15:01:29 +0100
Subject: [PATCH] Remove --privileged from docker

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

diff --git a/ci/run-docker.sh b/ci/run-docker.sh
index e963078a..deafa992 100755
--- a/ci/run-docker.sh
+++ b/ci/run-docker.sh
@@ -22,7 +22,6 @@ run() {
       --volume `pwd`/target:/checkout/target \
       --env CARGO_TARGET_DIR=/checkout/target \
       --workdir /checkout \
-      --privileged \
       libc \
       ci/run.sh $1
 }