diff options
-rw-r--r-- | include/image.mk | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/include/image.mk b/include/image.mk index 8e8ddc29ac..051f0f7e53 100644 --- a/include/image.mk +++ b/include/image.mk @@ -397,10 +397,15 @@ define Device/Build/kernel $$(_TARGET): $$(if $$(KERNEL_INSTALL),$(BIN_DIR)/$$(KERNEL_IMAGE)) $(BIN_DIR)/$$(KERNEL_IMAGE): $(KDIR)/$$(KERNEL_IMAGE) cp $$^ $$@ - $(KDIR)/$$(KERNEL_IMAGE): $(KDIR)/$$(KERNEL_NAME) + ifndef IB + ifdef CONFIG_IB + install: $(KDIR)/$$(KERNEL_IMAGE) + endif + $(KDIR)/$$(KERNEL_IMAGE): $(KDIR)/$$(KERNEL_NAME) @rm -f $$@ $$(call concat_cmd,$$(KERNEL)) $$(if $$(KERNEL_SIZE),$$(call Device/Build/check_size,$$(KERNEL_SIZE))) + endif endef define Device/Build/image |