diff options
author | Ayan Kumar Halder | 2021-12-15 18:01:01 +0000 |
---|---|---|
committer | Stefano Stabellini | 2021-12-15 13:50:22 -0800 |
commit | dd6fdb71a5bdde8022f03cc9fd42e47cf762fa66 (patch) | |
tree | c1505b2f3df95e233aca1ef0bafb9271984a90d4 /scripts/uboot-script-gen | |
parent | 7ba9b416b052b4272c8bfc4c4f630ba39d8c8dd3 (diff) |
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 <ayankuma@xilinx.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
Signed-off-by: Stefano Stabellini <stefano.stabellini@xilinx.com>
Diffstat (limited to 'scripts/uboot-script-gen')
-rwxr-xr-x | scripts/uboot-script-gen | 7 |
1 files changed, 7 insertions, 0 deletions
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" |