diff options
| author | Vagrant Cascadian <vagrant@debian.org> | 2016-11-15 11:11:46 -0800 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-11-15 22:08:52 +0100 |
| commit | 1af5308a87d936183e4713c5702f570c8405a01b (patch) | |
| tree | 4474e9849598e3efb83b9f6879f8496c1f8d2c30 /hosts/jenkins/etc/pbuilder/rebuild-hooks | |
| parent | 38eed22d4c4f6c04b326e43c849cbf82d191c26b (diff) | |
| download | jenkins.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-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." |