make: Give write access to docker container's bin dir

2021-10-13 21:12:29 +09:00 · 2021-10-13 21:12:29 +09:00 · 6d78b765b1
commit 6d78b765b1
parent 1cb7195d75
1 changed files with 1 additions and 0 deletions
--- a/util/build-in-docker.sh
+++ b/util/build-in-docker.sh
@ -3,6 +3,7 @@
 # Give other users access to /root
 # (We probably should have just built the build tools somewhere else...)
 chmod o+x /root
+chmod -R o+rw /root/gcc_local/bin

 # Who owns this directory?
 NEWUID=`stat -c '%u' .`