From f604d2d72f45d13aeb1706c855624e40a43a602b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Andriot?= Date: Sun, 5 Nov 2017 20:36:04 +0100 Subject: RPM: update build scripts --- redhat/docker/run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'redhat/docker/run.sh') diff --git a/redhat/docker/run.sh b/redhat/docker/run.sh index b1f2621ef..b8138d8c3 100755 --- a/redhat/docker/run.sh +++ b/redhat/docker/run.sh @@ -14,7 +14,7 @@ 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 \ +docker run -t -i --rm \ -h "${IMAGE}" \ -v /dev/shm/docker:/tmp:z \ -u trinity \ -- cgit v1.2.1