diff options
author | Wynn Wolf Arbor | 2020-03-23 14:44:01 +0100 |
---|---|---|
committer | Wynn Wolf Arbor | 2020-03-23 14:44:01 +0100 |
commit | 96f7f713c51cb0699f424d13c5bac94687b373da (patch) | |
tree | 240b522fd8665334583e594911238dee59773dd1 | |
parent | 8bf9fb6f0a13a0d7f72e88c5a06905bdfd6c300f (diff) | |
download | kern-96f7f713c51cb0699f424d13c5bac94687b373da.tar.gz |
Exit if the kernfrag directory is inaccessible
-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}' \ |