summaryrefslogtreecommitdiffstats
path: root/hosts/jenkins/etc/rc.local
diff options
context:
space:
mode:
Diffstat (limited to 'hosts/jenkins/etc/rc.local')
-rwxr-xr-xhosts/jenkins/etc/rc.local10
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