Add some more ccache stores.

diff --git a/make-ccache-volume b/make-ccache-volume
index c79eaa144ac9ab6c14c21c1c738dba74391333e3..60a2e42425d09c6bbcd0c3b65a6086932a1d4244 100755 (executable)
--- a/make-ccache-volume
+++ b/make-ccache-volume
@@ -2,6 +2,8 @@
 
 docker volume create ccache
 id=$(docker run --mount source=ccache,target=/ccache -itd ubuntu-18.04-64 bash)
-docker exec $id mkdir /ccache/ubuntu-18.04-64
-docker exec $id chown carl /ccache/ubuntu-18.04-64
+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
+done
 docker kill $id