aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xkern4
1 files changed, 4 insertions, 0 deletions
diff --git a/kern b/kern
index cef14c3..5d3716d 100755
--- a/kern
+++ b/kern
@@ -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}' \