diff options
Diffstat (limited to 'hosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup')
| -rwxr-xr-x | hosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup | 6 |
1 files changed, 3 insertions, 3 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 |