diff options
Diffstat (limited to 'hosts/jenkins/etc')
| -rw-r--r-- | hosts/jenkins/etc/pbuilderrc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/pbuilderrc b/hosts/jenkins/etc/pbuilderrc index 48271671..909a8829 100644 --- a/hosts/jenkins/etc/pbuilderrc +++ b/hosts/jenkins/etc/pbuilderrc @@ -12,6 +12,7 @@ esac 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 |