From 8e205e0324ca5d0c7ac1bb4385836fdc6d14a996 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Tue, 30 Jun 2020 09:11:57 +0200 Subject: [PATCH] sel4: assignment of BOARD as effective override Issue #3792 --- repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx6q_sabrelite.mk | 2 +- repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx7d_sabre.mk | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx6q_sabrelite.mk b/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx6q_sabrelite.mk index 370fbab88..3ad37b5d0 100644 --- a/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx6q_sabrelite.mk +++ b/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx6q_sabrelite.mk @@ -1,5 +1,5 @@ PLAT := imx6 CPU := cortex-a9 -BOARD := imx6q_sabrelite +override BOARD := imx6q_sabrelite -include $(REP_DIR)/lib/mk/spec/arm/kernel-sel4.inc diff --git a/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx7d_sabre.mk b/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx7d_sabre.mk index 47a30506c..e708620e4 100644 --- a/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx7d_sabre.mk +++ b/repos/base-sel4/lib/mk/spec/arm/kernel-sel4-imx7d_sabre.mk @@ -1,5 +1,5 @@ PLAT := imx7 CPU := cortex-a7 -BOARD := imx7d_sabre +override BOARD := imx7d_sabre -include $(REP_DIR)/lib/mk/spec/arm/kernel-sel4.inc