diff options
| -rwxr-xr-x | functions/exit.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/functions/exit.sh b/functions/exit.sh index 0aa334a5c..9add3612c 100755 --- a/functions/exit.sh +++ b/functions/exit.sh @@ -18,6 +18,12 @@ Exit () set | grep -e ^LB fi + # Skip if we have not yet completed the initial bootstrapping (bootstrap_debootstrap) + # (nothing to be done; avoids unhelpful messages) + if [ ! -e .build/bootstrap ]; then + return ${VALUE} + fi + # Always exit true in case we are not able to unmount # (e.g. due to running processes in chroot from user customizations) Echo_message "Begin unmounting filesystems..." |