diff options
author | Erich Eckner <git@eckner.net> | 2017-06-27 09:07:07 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-06-27 09:07:07 +0200 |
commit | 4d7b259f1ce494929b76dd3601e319199a0b96b1 (patch) | |
tree | 446b87f202813b26a920df0df3c30d131eb40f2e | |
parent | 1de370354a1aca41293820167b82a97967d6a084 (diff) | |
download | devtools32-4d7b259f1ce494929b76dd3601e319199a0b96b1.tar.xz |
archbuild.in: clean up previous commit
-rw-r--r-- | archbuild.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/archbuild.in b/archbuild.in index 88fbbde..5044e0a 100644 --- a/archbuild.in +++ b/archbuild.in @@ -66,8 +66,10 @@ 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 + find "${copy}" \ + -xdev -mindepth 1 -type d \ + -exec 'mountpoint' '-q' '{}' ';' \ + -exec 'umount' '-l' '{}' ';' rm -rf --one-file-system "${copy}" fi done |