New ccache volumes.
authorCarl Hetherington <cth@carlh.net>
Wed, 12 May 2021 17:19:16 +0000 (19:19 +0200)
committerCarl Hetherington <cth@carlh.net>
Wed, 12 May 2021 17:19:16 +0000 (19:19 +0200)
make-ccache-volume

index ed423bb251911b37f6d5289bd2c6cb4ea3061848..4b33c00a21d956f655c5a47ec16b9a9a31c90a3a 100755 (executable)
@@ -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 $USER; do
   id=$(id -u $user)
-  for t in ubuntu-16.04-64 ubuntu-18.04-64 ubuntu-20.04-64 ubuntu-20.10-64 windows windows_2.15.x; do
+  for t in ubuntu-16.04-64 ubuntu-18.04-64 ubuntu-20.04-64 ubuntu-20.10-64 ubuntu-21.04-64 windows windows_2.15.x fedora-34-64; do
     docker exec $volume_id mkdir /ccache/$t-$id
     docker exec $volume_id chmod 777 /ccache/$t-$id
   done