diff options
author | Alex Crichton <alex@alexcrichton.com> | 2017-08-21 22:48:18 -0700 |
---|---|---|
committer | Alex Crichton <alex@alexcrichton.com> | 2017-08-21 22:52:06 -0700 |
commit | d4240220057afe518921912c0832f70d67b19de3 (patch) | |
tree | 00da2d3f6e7988e3b7bfe52d930584f83839f784 /ci/run-docker.sh | |
parent | bcbfa856511f4f7bdacb8188eadcc7cbe38727e2 (diff) | |
download | rust-libc-d4240220057afe518921912c0832f70d67b19de3.tar.gz |
Update Android images/runners
Diffstat (limited to 'ci/run-docker.sh')
-rwxr-xr-x | ci/run-docker.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/run-docker.sh b/ci/run-docker.sh index deafa99226..662a1d491a 100755 --- a/ci/run-docker.sh +++ b/ci/run-docker.sh @@ -14,6 +14,7 @@ run() { docker run \ --user `id -u`:`id -g` \ --rm \ + --init \ --volume $HOME/.cargo:/cargo \ $kvm \ --env CARGO_HOME=/cargo \ |