Revert "Put overlay directories into /dev/shm"

This reverts commit d6cad8fa1789bb1d42a6aa7db063781f6a43d9a3.

diff --git a/jenkins/schroot-config.sh b/jenkins/schroot-config.sh
index 57a0eb56118c0d38819c7964102a6169b0b790f4..d069a8a8bf366f490d5eada2088fa2802df762e1 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=/dev/shm
+                       union-overlay-directory=/var/run
                        EOF
                        [ $arch = i386 ] && echo "personality=linux32"
                        echo