diff options
Diffstat (limited to 'hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup')
| -rwxr-xr-x | hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup b/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup index 6f1add53..40c8c432 100755 --- a/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup +++ b/hosts/jenkins/etc/pbuilder/rebuild-hooks/C01_cleanup @@ -8,5 +8,6 @@ set -e # cease using disorderfs if [ -d /tmp/disorderfs ] ; then su pbuilder2 -c 'fusermount -u /tmp/buildd' + rmdir /tmp/buildd mv /tmp/disorderfs /tmp/buildd fi |