diff options
author | Alex Crichton <alex@alexcrichton.com> | 2016-10-08 11:33:09 -0700 |
---|---|---|
committer | Alex Crichton <alex@alexcrichton.com> | 2016-10-08 17:26:56 -0700 |
commit | 739edbc4689a3b6eff15d0ea0af80923f7d5e28d (patch) | |
tree | 4892dd17100bfa8ce3516f931547cd7fc0a3bf4a /ci/run-docker.sh | |
parent | 9497f192e78096e0c9b619fc26b8d336edfa1b45 (diff) | |
download | rust-libc-739edbc4689a3b6eff15d0ea0af80923f7d5e28d.tar.gz |
Use workspaces in this repo
Also cache on appveyor to speed up builds.
Diffstat (limited to 'ci/run-docker.sh')
-rw-r--r-- | 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 5ad90652f0..e34e65ffcd 100644 --- a/ci/run-docker.sh +++ b/ci/run-docker.sh @@ -7,6 +7,7 @@ run() { echo $1 docker build -t libc ci/docker/$1 docker run \ + --rm \ -v `rustc --print sysroot`:/rust:ro \ -v `pwd`:/checkout:ro \ -e CARGO_TARGET_DIR=/tmp/target \ |