diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2017-04-28 16:43:24 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-04-28 16:45:35 +0200 |
| commit | 34aade9120434741cf56cea156a91ff781ffe903 (patch) | |
| tree | 0bc2742a540c5e9bed199f45efca4cc51ad1c119 /hosts/jenkins/etc/pbuilderrc | |
| parent | 0018114a2da9f22cfa581961a5a3bc7043088bd6 (diff) | |
| download | jenkins.debian.net-34aade9120434741cf56cea156a91ff781ffe903.tar.xz | |
/etc/pbuilderrc: stop bind-mounting /dev/shm: pbuilder since 0.228 takes care of that
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/jenkins/etc/pbuilderrc')
| -rw-r--r-- | hosts/jenkins/etc/pbuilderrc | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/hosts/jenkins/etc/pbuilderrc b/hosts/jenkins/etc/pbuilderrc index f600c434..96917baf 100644 --- a/hosts/jenkins/etc/pbuilderrc +++ b/hosts/jenkins/etc/pbuilderrc @@ -29,10 +29,6 @@ APTCACHE="" COMPRESSPROG="pigz" BUILDPLACE=/srv/workspace/pbuilder # build in /srv/workspace, which is in tmpfs -# 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. -BINDMOUNTS="/dev/shm" # set PATH to predictable values, see #780729 and #780725 PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" |