Add ubuntu-16.04-64; stop using jenkins user.

diff --git a/make-ccache-volume b/make-ccache-volume
index 97b4947b9ba898b13edc23f5a32cf3a08190bcca..ed423bb251911b37f6d5289bd2c6cb4ea3061848 100755 (executable)
--- a/make-ccache-volume
+++ b/make-ccache-volume
@@ -3,9 +3,9 @@
 docker volume rm ccache
 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
+for user in $USER; do
   id=$(id -u $user)
-  for t in 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 windows windows_2.15.x; do
     docker exec $volume_id mkdir /ccache/$t-$id
     docker exec $volume_id chmod 777 /ccache/$t-$id
   done