diff options
| author | 2018-10-23 20:26:40 -0400 | |
|---|---|---|
| committer | 2018-10-23 20:26:40 -0400 | |
| commit | 827a047f6fe1a8eff30c6059c8822a4b65665aa9 (patch) | |
| tree | a52dd6a9bf2a0f6276f5bc043a37d91ad885b792 /common | |
| parent | 781cf3aa0d3f9a93d84481833f5c83aa9ee68ac0 (diff) | |
New upstream version 20upstream/20
Diffstat (limited to 'common')
| -rw-r--r-- | common | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -46,6 +46,7 @@ declare -A fsck_types=([cramfs]=1 out() { printf "$1 $2\n" "${@:3}"; } error() { out "==> ERROR:" "$@"; } >&2 +warning() { out "==> WARNING:" "$@"; } >&2 msg() { out "==>" "$@"; } msg2() { out " ->" "$@";} die() { error "$@"; exit 1; } @@ -91,7 +92,9 @@ chroot_setup() { } chroot_teardown() { - umount "${CHROOT_ACTIVE_MOUNTS[@]}" + if (( ${#CHROOT_ACTIVE_MOUNTS[@]} )); then + umount "${CHROOT_ACTIVE_MOUNTS[@]}" + fi unset CHROOT_ACTIVE_MOUNTS } |
