diff options
| -rwxr-xr-x | kern | 8 |
1 files changed, 2 insertions, 6 deletions
@@ -35,9 +35,7 @@ set_kernel() { current=$(get_current_kernel) kerndir=$SRCDIR/$kern - if test ! -d "$kerndir"; then - errx "No such file or directory: $kerndir" - fi + test -d "$kerndir" || errx "No such file or directory: $kerndir" if test "$kern" = "$current"; then err "Warning: Latest kernel already selected: $kern" @@ -53,9 +51,7 @@ set_kernel() { config_kernel() { host=${1:-$(hostname)} - if test ! -d "$KERNFRAG"; then - errx "No such file or directory: $KERNFRAG" - fi + test -d "$KERNFRAG" || errx "No such file or directory: $KERNFRAG" printf "Starting merge for %s...\n\n" "$host" |