diff options
-rwxr-xr-x | kern | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -2,7 +2,6 @@ set -e -SRCDIR=/usr/src KERNFRAG=${KERNFRAG:-/etc/kernfrag} err() { @@ -27,13 +26,13 @@ get_latest_kernel() { } get_selected_kernel() { - readlink "$SRCDIR/linux" + readlink /usr/src/linux } set_kernel() { kern=${1:-$(get_latest_kernel)} selected=$(get_selected_kernel) - kerndir=$SRCDIR/$kern + kerndir=/usr/src/$kern test -d "$kerndir" || errx "No such file or directory: $kerndir" |