diff options
| author | Carl Hetherington <cth@carlh.net> | 2021-07-04 22:18:57 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2021-07-04 22:18:57 +0200 |
| commit | 461c804a8a5c2c1733d658a7fe0e6e5cac07939a (patch) | |
| tree | 00b70287fcc6f3b50a728e2fecbd4053822cc66e | |
| parent | cec9de20b8f542560293cc2c9c5d282fcce6346a (diff) | |
Add new ccache volume.
| -rwxr-xr-x | make-ccache-volume | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make-ccache-volume b/make-ccache-volume index 4b33c00..285cdad 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; 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; do docker exec $volume_id mkdir /ccache/$t-$id docker exec $volume_id chmod 777 /ccache/$t-$id done |
