diff options
| author | Aidan Hobson Sayers <aidanhs@cantab.net> | 2017-03-23 23:33:15 +0000 |
|---|---|---|
| committer | Aidan Hobson Sayers <aidanhs@cantab.net> | 2017-03-29 02:51:56 +0100 |
| commit | 0347ff58230af512c9521bdda7877b8bef9e9d34 (patch) | |
| tree | 654c43bc46b600f4f8308baec7b2cd1867a3aaf5 /src/ci/docker | |
| parent | 8dfc25e05e995c92a6093718198cca4bc2c85b63 (diff) | |
Attempt to cache git modules
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/run.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/docker/run.sh b/src/ci/docker/run.sh index c418d427b15..71a4bfae3ca 100755 --- a/src/ci/docker/run.sh +++ b/src/ci/docker/run.sh @@ -57,6 +57,7 @@ exec docker \ --env DEPLOY_ALT=$DEPLOY_ALT \ --env LOCAL_USER_ID=`id -u` \ --volume "$HOME/.cargo:/cargo" \ + --volume "$HOME/rustsrc:$HOME/rustsrc" \ --privileged \ --rm \ rust-ci \ |