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