summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--TODO1
-rw-r--r--etc/pbuilderrc2
2 files changed, 2 insertions, 1 deletions
diff --git a/TODO b/TODO
index 4268cae6..fab846f6 100644
--- a/TODO
+++ b/TODO
@@ -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"