diff options
-rwxr-xr-x | kern | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -5,8 +5,12 @@ set -e SRCDIR=/usr/src KERNFRAG=${KERNFRAG:-/etc/kernfrag} -errx() { +err() { printf "kern: %s\n" "$@" >&2 +} + +errx() { + err "$@" exit 1 } @@ -36,7 +40,8 @@ set_kernel() { fi if test "$kern" = "$current"; then - errx "Latest kernel already selected: $kern" + err "Warning: Latest kernel already selected: $kern" + return fi printf "Selecting kernel: %s\n" "$kern" |