diff options
Diffstat (limited to 'hosts/jenkins/etc/pbuilderrc')
| -rw-r--r-- | hosts/jenkins/etc/pbuilderrc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/hosts/jenkins/etc/pbuilderrc b/hosts/jenkins/etc/pbuilderrc index 478804d3..a13ed5b3 100644 --- a/hosts/jenkins/etc/pbuilderrc +++ b/hosts/jenkins/etc/pbuilderrc @@ -23,9 +23,7 @@ EXTRAPACKAGES="" # better list them in bin/reproducible_setup_pbuilder.sh APTCACHE="" COMPRESSPROG="pigz" BUILDPLACE=/srv/workspace/pbuilder # build in /srv/workspace, which is in tmpfs -# unset proxy, see #780587 -unset http_proxy -export -n http_proxy + # there are software wanting /dev/shm writable, so give them so. There are tons # of bug shm related in pbuilder, that's just a workaround for all of them. # /run/shm is already mounted as a tmpfs by default. |