Put overlay directories into /dev/shm

diff --git a/jenkins/schroot-config.sh b/jenkins/schroot-config.sh
index d069a8a8bf366f490d5eada2088fa2802df762e1..57a0eb56118c0d38819c7964102a6169b0b790f4 100755 (executable)
--- a/jenkins/schroot-config.sh
+++ b/jenkins/schroot-config.sh
@@ -22,7 +22,7 @@ for dist in $DISTS; do
                        source-root-groups=sbuild
                        directory=/home/chroot/$dist-$arch
                        union-type=overlay
-                       union-overlay-directory=/var/run
+                       union-overlay-directory=/dev/shm
                        EOF
                        [ $arch = i386 ] && echo "personality=linux32"
                        echo