diff options
| author | Carl Hetherington <cth@carlh.net> | 2021-02-07 00:48:08 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2021-02-07 00:48:08 +0100 |
| commit | 81fc9023aca07f2b41f6ccc53dba1bc63b609cd1 (patch) | |
| tree | e0941bd2d95139baf6493399dca07c850ce54453 | |
| parent | 3e074d8f26f8a20ef8d096d6b415119adf086137 (diff) | |
Add ubuntu-16.04-64; stop using jenkins user.
| -rwxr-xr-x | make-ccache-volume | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make-ccache-volume b/make-ccache-volume index 97b4947..ed423bb 100755 --- 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 |
