From fafb41251ffab1087bd69f1a8a4232c0651075b0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Andriot?= <albator78@libertysurf.fr>
Date: Fri, 28 Jul 2017 19:13:46 +0200
Subject: [PATCH] RPM packaging: update docker run script

---
 redhat/docker/run.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/redhat/docker/run.sh b/redhat/docker/run.sh
index 073dcfa01..b1f2621ef 100755
--- a/redhat/docker/run.sh
+++ b/redhat/docker/run.sh
@@ -12,10 +12,11 @@ DIST="$(sed -n ${DISTRIB}/rpmmacros -e "/%dist/ s|.* ||p")"
 
 mkdir -p "${HOME}/rpmbuild/RPMS/RPMS${DIST}.tde-${TDE_VERSION}"
 mkdir -p "${HOME}/rpmbuild/SRPMS/SRPMS${DIST}.tde-${TDE_VERSION}"
+mkdir -p "/dev/shm/docker"
 
 docker run -t -i \
   -h "${IMAGE}" \
-  -v /tmp:/tmp:z \
+  -v /dev/shm/docker:/tmp:z \
   -u trinity \
   -e TMPPATH=/tmp \
   -e TDE_VERSION=${TDE_VERSION} \