diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-10-25 23:52:49 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2020-10-25 23:52:49 +0100 |
| commit | e59e21f95a8843535d14641a300f78c68942d381 (patch) | |
| tree | 23f49333978242df799b86903651fba46245ea1e /make-ccache-volume | |
| parent | 6adba8388f74b16f9e2132a96d2e529ab2135049 (diff) | |
Add another ccache target.
Diffstat (limited to 'make-ccache-volume')
| -rwxr-xr-x | make-ccache-volume | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-ccache-volume b/make-ccache-volume index 77aa7e0..97b4947 100755 --- a/make-ccache-volume +++ b/make-ccache-volume @@ -5,7 +5,7 @@ docker volume create ccache volume_id=$(docker run --mount source=ccache,target=/ccache -itd ubuntu-18.04-64 bash) for user in jenkins $USER; do id=$(id -u $user) - for t in ubuntu-18.04-64 ubuntu-20.04-64 windows windows_2.15.x; do + for t in ubuntu-18.04-64 ubuntu-20.04-64 ubuntu-20.10-64 windows windows_2.15.x; do docker exec $volume_id mkdir /ccache/$t-$id docker exec $volume_id chmod 777 /ccache/$t-$id done |
