| commit | b48c27f04f13a9dd95f9f05a33bce5e1b6d2f385 | [log] [tgz] |
|---|---|---|
| author | Rashed Abdel-Tawab <rashed@linux.com> | Tue Jan 10 02:43:10 2017 -0500 |
| committer | Rashed Abdel-Tawab <rashed@linux.com> | Thu Jan 19 15:57:13 2017 -0500 |
| tree | 8a9c7dc144c852b5bf95f3ed9d2fa976f93be96d | |
| parent | 070053c6abf1d2d23a9cbbcf910db139fde8100c [diff] |
build: Append -dtb to kernel image name if TARGET_KERNEL_APPEND_DTB is set Currently devices that have TARGET_KERNEL_APPEND_DTB set also have to set BOARD_KERNEL_IMAGE_NAME to Image.gz-dtb (or zImage-dtb on arm32) in order to properly build the image with an appended DT. Automatially append -dtb if TARGET_KERNEL_APPEND_DTB is set so BOARD_KERNEL_IMAGE_NAME does not need to be set. Change-Id: I5464c67092a7b9f86669902e5c0e4a47836f7cbd