aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xkern9
1 files changed, 7 insertions, 2 deletions
diff --git a/kern b/kern
index f4a8be3..c6b2a57 100755
--- a/kern
+++ b/kern
@@ -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"