From dd6fdb71a5bdde8022f03cc9fd42e47cf762fa66 Mon Sep 17 00:00:00 2001 From: Ayan Kumar Halder Date: Wed, 15 Dec 2021 18:01:01 +0000 Subject: Return an error if DOMU_KERNEL[] is not defined DOMU_KERNEL[] needs to be defined in the config file. If this is not defined, then the user has specified an incorrect number for NUM_DOMUS. Signed-off-by: Ayan Kumar Halder Reviewed-by: Stefano Stabellini Signed-off-by: Stefano Stabellini --- scripts/uboot-script-gen | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'scripts') diff --git a/scripts/uboot-script-gen b/scripts/uboot-script-gen index d8772bc..f511c7f 100755 --- a/scripts/uboot-script-gen +++ b/scripts/uboot-script-gen @@ -549,6 +549,13 @@ xen_file_loading() i=$(( $i + 1 )) continue fi + + if test -z "${DOMU_KERNEL[$i]}" + then + echo "DOMU_KERNEL[$i] is not defined" + cleanup_and_return_err + fi + check_compressed_file_type ${DOMU_KERNEL[$i]} "executable" domU_kernel_addr[$i]=$memaddr load_file ${DOMU_KERNEL[$i]} "domU${i}_kernel" -- cgit v1.2.3