diff options
Diffstat (limited to 'hosts/jenkins/etc')
| -rwxr-xr-x | hosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup | 2 | ||||
| -rwxr-xr-x | hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/hosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup b/hosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup index bbea69fa..334e03a2 100755 --- a/hosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup +++ b/hosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup @@ -10,7 +10,7 @@ BUILDDIR="${BUILDDIR:-/tmp/buildd}" # cease using disorderfs if [ -d /tmp/disorderfs ] ; then echo -n "Unmounting /tmp/disorderfs…" - fusermount -u "$BUILDDIR" + fusermount -z -u "$BUILDDIR" rmdir "$BUILDDIR" mv /tmp/disorderfs "$BUILDDIR" echo " done." diff --git a/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup b/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup index 73f4083c..47719ae7 100755 --- a/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup +++ b/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup @@ -14,7 +14,7 @@ echo # cease using disorderfs if [ -d /tmp/disorderfs ] ; then echo -n "Unmounting /tmp/disorderfs…" - fusermount -u "$BUILDDIR" + fusermount -z -u "$BUILDDIR" rmdir "$BUILDDIR" mv /tmp/disorderfs "$BUILDDIR" echo " done." |