Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/archbuild.in
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-07-06 22:01:05 +0200
committerErich Eckner <git@eckner.net>2017-07-06 22:01:05 +0200
commitdd1a2cb0a93811a869dcc328cfdfd5bfa8532bcc (patch)
treea0cb02169c277b872de6a297336c74f191ad3bcb /archbuild.in
parente38b49ed1e77db16956b2c11b660a7df0f1861d2 (diff)
archbuild: delete "root" even if it is a mountpoint
Diffstat (limited to 'archbuild.in')
-rw-r--r--archbuild.in3
1 files changed, 3 insertions, 0 deletions
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