summaryrefslogtreecommitdiffstats
path: root/hosts/jenkins/etc/pbuilder/rebuild-hooks
diff options
context:
space:
mode:
authorVagrant Cascadian <vagrant@debian.org>2016-11-15 11:11:46 -0800
committerHolger Levsen <holger@layer-acht.org>2016-11-15 22:08:52 +0100
commit1af5308a87d936183e4713c5702f570c8405a01b (patch)
tree4474e9849598e3efb83b9f6879f8496c1f8d2c30 /hosts/jenkins/etc/pbuilder/rebuild-hooks
parent38eed22d4c4f6c04b326e43c849cbf82d191c26b (diff)
downloadjenkins.debian.net-1af5308a87d936183e4713c5702f570c8405a01b.tar.xz
Do a lazy unmount of disorderfs.
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'hosts/jenkins/etc/pbuilder/rebuild-hooks')
-rwxr-xr-xhosts/jenkins/etc/pbuilder/rebuild-hooks/B01_cleanup2
-rwxr-xr-xhosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup2
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."