From 76580f3d690fce16c2df06cd66130a511f7f23a6 Mon Sep 17 00:00:00 2001 From: Qixiang Xu Date: Thu, 24 Aug 2017 11:03:23 +0800 Subject: [PATCH] Filter out invalid configure for EL3_PAYLOAD_BASE TRUSTED_BOARD_BOOT and GENERATE_COT is not compatible with EL3_PAYLOAD_BASE Change-Id: I538c77e1f6c7da400d30ae4d633b8fcc55742202 Signed-off-by: Qixiang Xu --- Makefile | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Makefile b/Makefile index 0a6451460..267fc8238 100644 --- a/Makefile +++ b/Makefile @@ -305,6 +305,12 @@ ifdef EL3_PAYLOAD_BASE $(warning "PRELOADED_BL33_BASE and EL3_PAYLOAD_BASE are \ incompatible build options. EL3_PAYLOAD_BASE has priority.") endif + ifneq (${GENERATE_COT},0) + $(error "GENERATE_COT and EL3_PAYLOAD_BASE are incompatible build options.") + endif + ifneq (${TRUSTED_BOARD_BOOT},0) + $(error "TRUSTED_BOARD_BOOT and EL3_PAYLOAD_BASE are incompatible build options.") + endif endif ifeq (${NEED_BL33},yes)