diff options
author | Nicolas Dechesne <nicolas.dechesne@linaro.org> | 2017-05-29 14:56:16 +0200 |
---|---|---|
committer | Nicolas Dechesne <nicolas.dechesne@linaro.org> | 2017-05-29 14:58:16 +0200 |
commit | 9588c574722784018cfeb0064d68b7c53219a34e (patch) | |
tree | 9f05ac054276cb26445cffae14a67232f68354f4 | |
parent | eca6a40176cfa3fd5f019025ae2ceefe085dba26 (diff) |
Allow our users to specify a different kernel Image when building for arm64. It
is by default "Image", but some users might prefer to use "Image.gz" for
example.
Change-Id: I35d808f9f95a80547a27cdb6744981aff75c86d9
Signed-off-by: Nicolas Dechesne <nicolas.dechesne@linaro.org>
-rwxr-xr-x | jenkins_common_lib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins_common_lib b/jenkins_common_lib index 04ccd5d..9dae9dd 100755 --- a/jenkins_common_lib +++ b/jenkins_common_lib @@ -112,7 +112,7 @@ build_instructions() fi kernel_debarch=armhf elif [ "${ARCH}" = "arm64" ]; then - kernel_img_cmd=Image + kernel_img_cmd=${kernel_img_cmd:-Image} kernel_debarch=arm64 elif [ "${ARCH}" = "x86_64" ]; then kernel_img_cmd=bzImage |