Work around for permissions problems when different users share a ccache.

1 files changed, 5 insertions, 3 deletions

diff --git a/make-ccache-volume b/make-ccache-volume
index 60a2e42..aa284d2 100755
--- a/make-ccache-volume
+++ b/make-ccache-volume
@@ -2,8 +2,10 @@
 
 docker volume create ccache
 id=$(docker run --mount source=ccache,target=/ccache -itd ubuntu-18.04-64 bash)
-for t in ubuntu-18.04-64 windows windows_2.15.x; do
-  docker exec $id mkdir /ccache/$t
-  docker exec $id chown carl /ccache/$t
+for u in 127 1000; do
+  for t in ubuntu-18.04-64 windows windows_2.15.x; do
+    docker exec $id mkdir /ccache/$t-$u
+    docker exec $id chmod 777 /ccache/$t-$u
+  done
 done
 docker kill $id