diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-27 08:52:16 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-27 08:52:16 +0200 |
| commit | 1de370354a1aca41293820167b82a97967d6a084 (patch) | |
| tree | 081a4f0463c740001e850803a84a57e21cc92ac7 | |
| parent | f723d46a3f7f1b7b7d06bf3aa6360ba25ba9eb8a (diff) | |
| download | devtools-1de370354a1aca41293820167b82a97967d6a084.tar.xz | |
archbuild.in: delete old chroot more forcefully
| -rw-r--r-- | archbuild.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/archbuild.in b/archbuild.in index e593156..88fbbde 100644 --- a/archbuild.in +++ b/archbuild.in @@ -65,6 +65,11 @@ if ${clean_first} || [[ ! -d "${chroots}/${repo}-${arch}" ]]; then subvolume_delete_recursive "${copy}" rm -rf --one-file-system "${copy}" + if [ -d "${copy}" ]; then + find "${copy}" -xdev -type d -exec 'mountpoint' '{}' ';' | \ + xargs -rn1 umount -l + rm -rf --one-file-system "${copy}" + fi done lock_close 9 |