diff options
| author | 2018-10-23 20:26:42 -0400 | |
|---|---|---|
| committer | 2018-10-23 20:26:42 -0400 | |
| commit | 46326677ae0f0ce2b63292cff583be70dd8e597f (patch) | |
| tree | 1aea68cb9d3f8707a378bf2ead5281476459e44a /common | |
| parent | 55d5f6698726ab7c6f1a6f5e0ed2e282bc35e78c (diff) | |
| parent | 827a047f6fe1a8eff30c6059c8822a4b65665aa9 (diff) | |
Update upstream source from tag 'upstream/20'
Update to upstream version '20'
with Debian dir 6f59e66c4d32a587e74601361d6eb26312cd4b80
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 } |
