index : devtools32 | |
Archlinux32 fork of devtools | gitolite user |
summaryrefslogtreecommitdiff |
-rw-r--r-- | archbuild.in | 3 |
diff --git a/archbuild.in b/archbuild.in index defbf2b..7e1a964 100644 --- a/archbuild.in +++ b/archbuild.in @@ -75,6 +75,9 @@ if ${clean_first} || [[ ! -d "${chroots}/${repo}-${arch}" ]]; then -exec 'mountpoint' '-q' '{}' ';' \ -exec 'umount' '-l' '{}' ';' rm -rf --one-file-system "${copy}" + mountpoint -q "${copy}" && \ + umount -l "${copy}" && \ + rmdir "${copy}" fi done lock_close 9 |