summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarl Hetherington <cth@carlh.net>2023-06-02 22:34:34 +0200
committerCarl Hetherington <cth@carlh.net>2023-06-02 22:34:34 +0200
commit45fd3e380b4c91da89a03d889d6b8a0861e9915d (patch)
treec52ec8d74c9935d0070dcc1095bd966249020dad
parent02be376d733348c07123acf6b2057087c300a13f (diff)
Add new 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 8517adf..47a1e95 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 $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 ubuntu-21.04-64 windows windows_2.15.x fedora-34-64 debian-10-64 fedora-35-64; 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 debian-10-64 fedora-35-64 ubuntu-22.04-64 ubuntu-23.04-64; do
docker exec $volume_id mkdir /ccache/$t-$id
docker exec $volume_id chmod 777 /ccache/$t-$id
done