Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-06-27 08:52:16 +0200
committerErich Eckner <git@eckner.net>2017-06-27 08:52:16 +0200
commit1de370354a1aca41293820167b82a97967d6a084 (patch)
tree081a4f0463c740001e850803a84a57e21cc92ac7
parentf723d46a3f7f1b7b7d06bf3aa6360ba25ba9eb8a (diff)
archbuild.in: delete old chroot more forcefully
-rw-r--r--archbuild.in5
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