diff options
-rwxr-xr-x | kern | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -48,6 +48,10 @@ set_kernel() { config_kernel() { host=${1:-$(hostname)} + if test ! -d "$KERNFRAG"; then + errx "No such file or directory: $KERNFRAG" + fi + printf "Starting merge for %s...\n\n" "$host" awk -v prefix="$KERNFRAG/fragments/" '{print prefix $0}' \ |