Oliver Smith
193feff80f
Run all commands inside the docker containers as a user with the same UID as on the host system, not as root. This is a good idea in general and also fixes permission problems when jenkins tries to wipe the workspace. Related: OS#5793 Change-Id: I0d949e5ab4b1a709d18a316def0a98c3b244457e |
||
---|---|---|
.. | ||
Dockerfile | ||
Makefile | ||
jenkins.sh | ||
known_hosts | ||
osmocom-release-tarballs.sh |