diff options
author | Dmitry Shmidt <dimitrysh@google.com> | 2017-03-28 13:30:18 -0700 |
---|---|---|
committer | Dmitry Shmidt <dimitrysh@google.com> | 2017-03-30 12:44:55 -0700 |
commit | a08cafa7e09cb5450a2596e6ea15bdea976d8d59 (patch) | |
tree | e097c5afb5e0fc6cf842a63cb5a78d6961d532cc /arch/arm64/Makefile | |
parent | 0c61bc75ee662c79fc22f94979ca2cb6b5de0e54 (diff) |
ANDROID: ARM64: Allow to choose appended kernel image
By default appended kernel image is Image.gz-dtb.
New config option BUILD_ARM64_APPENDED_KERNEL_IMAGE_NAME
allows to choose between Image.gz-dtb and Image-dtb.
Change-Id: I1c71b85136f1beeb61782e4646820718c1ccd7e4
Signed-off-by: Dmitry Shmidt <dimitrysh@google.com>
Diffstat (limited to 'arch/arm64/Makefile')
-rw-r--r-- | arch/arm64/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arch/arm64/Makefile b/arch/arm64/Makefile index 5820cff5f843..ba55698f71e8 100644 --- a/arch/arm64/Makefile +++ b/arch/arm64/Makefile @@ -85,7 +85,7 @@ core-$(CONFIG_EFI_STUB) += $(objtree)/drivers/firmware/efi/libstub/lib.a # Default target when executing plain make ifeq ($(CONFIG_BUILD_ARM64_APPENDED_DTB_IMAGE),y) -KBUILD_IMAGE := Image.gz-dtb +KBUILD_IMAGE := $(subst $\",,$(CONFIG_BUILD_ARM64_APPENDED_KERNEL_IMAGE_NAME)) else KBUILD_IMAGE := Image.gz endif |