diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-09-23 00:23:58 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-09-23 00:23:58 +0200 |
| commit | eb4df47512bd74b06686f841edded7cf23b16d70 (patch) | |
| tree | 13f78aee1e7174bbd21627e567d899886c181745 /hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup | |
| parent | 0d0494618ae22303fc4761f7ba65bd4575aba8f7 (diff) | |
| download | jenkins.debian.net-eb4df47512bd74b06686f841edded7cf23b16d70.tar.xz | |
reproducible: be more verbose when mounting+unmounting with disorderfs
Diffstat (limited to 'hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup')
| -rwxr-xr-x | hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup b/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup index 36a19bc9..c60a991c 100755 --- a/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup +++ b/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup @@ -7,7 +7,9 @@ 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 + echo " done." fi |