summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2020-10-25 23:52:49 +0100
committerCarl Hetherington <cth@carlh.net>2020-10-25 23:52:49 +0100
commitb78f56d0490a07aa3aa40838fa188fffbf45abb7 (patch)
tree23f49333978242df799b86903651fba46245ea1e
parentb272aace8fccd5158875223da664c022ec6e142a (diff)
Add another ccache target.
-rwxr-xr-xmake-ccache-volume2
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