diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2019-05-31 14:13:42 +0200 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2019-06-04 18:11:09 +0200 |
commit | 15429fe7c7d0f36ddc45593c6b174347383e203f (patch) | |
tree | 8fc551bff74412e72b08266336b185649c04a3ff | |
parent | db1fddcef86ef1153b729533d55a7b9b0dfea8f1 (diff) | |
download | build_make-history/14-07-2019.tar.gz build_make-history/14-07-2019.tar.bz2 build_make-history/14-07-2019.zip |
HACK: workaround no recoveryhistory/14-07-2019
This is a temporary hack that must be removed
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
-rw-r--r-- | core/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/core/Makefile b/core/Makefile index 1311167d2f..a2b5e05e11 100644 --- a/core/Makefile +++ b/core/Makefile @@ -2542,9 +2542,11 @@ endif ifeq ($(TARGET_NO_KERNEL),true) build_ota_package := false endif +ifneq (,$(INSTALLED_RECOVERYIMAGE_TARGET)$(filter true,$(BOARD_USES_RECOVERY_AS_BOOT))) ifeq ($(recovery_fstab),) build_ota_package := false endif +endif ifeq ($(TARGET_BUILD_PDK),true) build_ota_package := false endif |