From d6cad8fa1789bb1d42a6aa7db063781f6a43d9a3 Mon Sep 17 00:00:00 2001
From: Christoph Berg <christoph.berg@credativ.de>
Date: Mon, 4 Apr 2016 16:13:22 +0200
Subject: [PATCH] Put overlay directories into /dev/shm

---
 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 d069a8a..57a0eb5 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=/var/run
+			union-overlay-directory=/dev/shm
 			EOF
 			[ $arch = i386 ] && echo "personality=linux32"
 			echo
-- 
2.39.5