diff options
| author | bors <bors@rust-lang.org> | 2017-07-07 08:13:20 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2017-07-07 08:13:20 +0000 |
| commit | 33e353ea51e0b266435143cd88458b59d9051d2a (patch) | |
| tree | d2b15886c12fa3babdc468212c5f3207c4a52ce9 | |
| parent | 24fc541e7cee966ad8752eb8360f0d4e9ba0bef0 (diff) | |
| parent | 4bd27fc21be90dd9dbeb9340e7be9007f82c09f7 (diff) | |
Auto merge of #43091 - aidanhs:aphs-no-docker-priv, r=alexcrichton
Privileged in docker run isn't necessary Added relatively recently in https://github.com/rust-lang/rust/pull/40199/files#diff-71609a365528e4649836825d8250c241R57, but I don't see anything in that PR that requires it. If it's not strictly necessary, we shouldn't use it. (if this lands I'll make a PR against libc which also uses privileged) r? @alexcrichton
| -rwxr-xr-x | src/ci/docker/run.sh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index 4f34a7214cb..da74ffb41ff 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 |
