summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNicolas Dechesne <nicolas.dechesne@linaro.org>2017-05-29 14:56:16 +0200
committerNicolas Dechesne <nicolas.dechesne@linaro.org>2017-05-29 14:58:16 +0200
commit9588c574722784018cfeb0064d68b7c53219a34e (patch)
tree9f05ac054276cb26445cffae14a67232f68354f4
parenteca6a40176cfa3fd5f019025ae2ceefe085dba26 (diff)
downloadlci-build-tools-9588c574722784018cfeb0064d68b7c53219a34e.tar.gz
jenkins_common_lib: allow users to set kernel_img_cmd for arm64HEADmaster
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-xjenkins_common_lib2
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