diff options
Diffstat (limited to 'hosts/jenkins/etc/rc.local')
| -rwxr-xr-x | hosts/jenkins/etc/rc.local | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/rc.local b/hosts/jenkins/etc/rc.local index 8fb854c5..7a3ac282 100755 --- a/hosts/jenkins/etc/rc.local +++ b/hosts/jenkins/etc/rc.local @@ -37,6 +37,11 @@ put_schroots_on_tmpfs() { mkdir -p union/overlay union/underlay } +fixup_shm() { + # this is always harmless + chmod 1777 /dev/shm +} + # # init, notify about reboots # @@ -69,6 +74,11 @@ case $(hostname) in esac # +# fixup /(dev|run)/shm if needed +# +fixup_shm + +# # put schroots on tmpfs for non debian hosts # case $(hostname) in |