diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-10-17 17:49:53 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-10-18 19:38:35 +0200 |
commit | cea92184c20796475f80a7a0c113bee9d24e9cf7 (patch) | |
tree | 9c3e5e63968f3dd2eeba42fa94b26451d0c159e3 /hosts/jenkins/etc | |
parent | 759e58ba54cfeba14ee305fc8e91cadb361fed93 (diff) | |
download | jenkins.debian.net-cea92184c20796475f80a7a0c113bee9d24e9cf7.tar.xz |
reproducible pbuilder hooks: use BUILDDIR, to comply with pbuilder 0.216
Diffstat (limited to 'hosts/jenkins/etc')
3 files changed, 10 insertions, 10 deletions
diff --git a/hosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup b/hosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup index c60a991c..601d4b1d 100755 --- a/hosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup +++ b/hosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup @@ -8,8 +8,8 @@ set -e # cease using disorderfs if [ -d /tmp/disorderfs ] ; then echo -n "Unmounting /tmp/disorderfs…" - fusermount -u /tmp/buildd - rmdir /tmp/buildd - mv /tmp/disorderfs /tmp/buildd + fusermount -u "$BUILDDIR" + rmdir "$BUILDDIR" + mv /tmp/disorderfs "$BUILDDIR" echo " done." fi diff --git a/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup b/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup index 6ec09822..7552e993 100755 --- a/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup +++ b/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup @@ -12,8 +12,8 @@ echo # cease using disorderfs if [ -d /tmp/disorderfs ] ; then echo -n "Unmounting /tmp/disorderfs…" - fusermount -u /tmp/buildd - rmdir /tmp/buildd - mv /tmp/disorderfs /tmp/buildd + fusermount -u "$BUILDDIR" + rmdir "$BUILDDIR" + mv /tmp/disorderfs "$BUILDDIR" echo " done." fi diff --git a/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment b/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment index 52862f16..318390c5 100755 --- a/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment +++ b/hosts/jenkins/etc/pbuilder/rebuild-hooks/D01_modify_environment @@ -17,11 +17,11 @@ exit 0 # use disorderfs if [ -x /usr/bin/disorderfs ] ; then - echo -n "Moving /tmp/buildd to /tmp/disorderfs and mounting this as /tmp/buildd via the fuse disorderfs…" + echo -n "Moving "$BUILDDIR" to /tmp/disorderfs and mounting this as "$BUILDDIR" via the fuse disorderfs…" mknod -m 666 /dev/fuse c 10 229 - mv /tmp/buildd /tmp/disorderfs - mkdir /tmp/buildd - disorderfs --multi-user=yes /tmp/disorderfs /tmp/buildd + mv "$BUILDDIR" /tmp/disorderfs + mkdir "$BUILDDIR" + disorderfs --multi-user=yes /tmp/disorderfs "$BUILDDIR" echo " done." else echo "Warning: disorderfs not available." |