diff options
-rw-r--r-- | TODO | 1 | ||||
-rw-r--r-- | etc/pbuilderrc | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -36,6 +36,7 @@ See link:https://jenkins.debian.net/userContent/about.html["about jenkins.debian === to do once jenkins.d.n runs jessie * replace with bin/setsid.py workaround with setsid from the util-linux package from jessie +* etc/pbuilderrc: remove /run/shm bindmount once we are running jessie - this is a workaround for #700591 === jenkins-job-builder related diff --git a/etc/pbuilderrc b/etc/pbuilderrc index b21c5b7f..964c7cad 100644 --- a/etc/pbuilderrc +++ b/etc/pbuilderrc @@ -9,5 +9,5 @@ EXTRAPACKAGES="fakeroot" APTCACHE="" export http_proxy="http://localhost:3128" COMPRESSPROG="pigz" -# FIXME: remove /run/shm bindmount once we are running jessie - this is a workaround for #700591 +# remove /run/shm bindmount once we are running jessie - this is a workaround for #700591 BINDMOUNTS="$BINDMOUNTS /run/shm /dev/shm" |