diff options
Diffstat (limited to 'src/kernel-install')
| -rw-r--r-- | src/kernel-install/kernel-install | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/kernel-install/kernel-install b/src/kernel-install/kernel-install index 610959ba9f..e7f2beb570 100644 --- a/src/kernel-install/kernel-install +++ b/src/kernel-install/kernel-install @@ -125,6 +125,11 @@ case $COMMAND in exit 1 fi + if [[ ! -f "$KERNEL_IMAGE" ]]; then + echo "Kernel image argument ${KERNEL_IMAGE} not a file" >&2 + exit 1 + fi + for f in "${PLUGINS[@]}"; do if [[ -x $f ]]; then [ "$KERNEL_INSTALL_VERBOSE" -gt 0 ] && \ |