diff options
Diffstat (limited to 'libc/ci/run-docker.sh')
| -rwxr-xr-x[-rw-r--r--] | libc/ci/run-docker.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libc/ci/run-docker.sh b/libc/ci/run-docker.sh index e963078..662a1d4 100644..100755 --- a/libc/ci/run-docker.sh +++ b/libc/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 \ @@ -22,7 +23,6 @@ run() { --volume `pwd`/target:/checkout/target \ --env CARGO_TARGET_DIR=/checkout/target \ --workdir /checkout \ - --privileged \ libc \ ci/run.sh $1 } |