From 9514bd0d0c79de5cd9c25b2eb92c3b40975c5fb2 Mon Sep 17 00:00:00 2001
From: Christoph Berg <myon@debian.org>
Date: Sun, 29 May 2016 10:56:02 +0200
Subject: [PATCH] Revert "Put overlay directories into /dev/shm"

This reverts commit d6cad8fa1789bb1d42a6aa7db063781f6a43d9a3.
---
 jenkins/schroot-config.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jenkins/schroot-config.sh b/jenkins/schroot-config.sh
index 57a0eb5..d069a8a 100755
--- 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
-- 
2.39.5