summaryrefslogtreecommitdiff
path: root/make-ccache-volume
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2020-09-28 20:16:45 +0200
committerCarl Hetherington <cth@carlh.net>2020-09-28 20:53:54 +0200
commitc317d8126eda90ae558f5f0a69499288465db777 (patch)
treeddf14822a976ade2fe4d7c65a6d74c4fc87fadf2 /make-ccache-volume
parentb65c36ffa24bb5cc62453c13f8fe3da6cc998011 (diff)
Add new ccache target.
Diffstat (limited to 'make-ccache-volume')
-rwxr-xr-xmake-ccache-volume2
1 files changed, 1 insertions, 1 deletions
diff --git a/make-ccache-volume b/make-ccache-volume
index b1e6bbb..77aa7e0 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 windows windows_2.15.x; do
+ for t in ubuntu-18.04-64 ubuntu-20.04-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