diff options
Diffstat (limited to 'hosts/jenkins/etc')
| -rw-r--r-- | hosts/jenkins/etc/pbuilderrc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/hosts/jenkins/etc/pbuilderrc b/hosts/jenkins/etc/pbuilderrc index 41aedae5..a97a10d3 100644 --- a/hosts/jenkins/etc/pbuilderrc +++ b/hosts/jenkins/etc/pbuilderrc @@ -23,8 +23,9 @@ BINDMOUNTS="$BINDMOUNTS /sys /dev/shm" # set PATH to predictable values, see #780729 and #780725 PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" -# used on reproducible builds +# used for reproducible builds tests, when doing the 2nd build if [ "$(readlink /proc/1/ns/uts)" != "$(readlink /proc/self/ns/uts)" ]; then - PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" + PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" + BINDMOUNTS="$BINDMOUNTS /dev/fuse" fi |