Set --user in docker run to avoid permission issues.
We were unable previously to write to the artifacts directory.
commit54baae83739f0cd24d2d896ae2396ff6c5244cce
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 6 Mar 2021, 17:03 (6 years ago)
parent8ed8c0f
Makefile+1
@@ -83,6 +83,7 @@ checkdocs:
8383debpkg: man/pandoc.1
8484 docker run -v `pwd`:/mnt \
8585 -v `pwd`/linux/artifacts:/artifacts \
86+ --user $(id -u):$(id -g) \
8687 -e REVISION=$(REVISION) \
8788 -w /mnt \
8889 --memory=0 \