summaryrefslogtreecommitdiff
path: root/Kconfig
diff options
context:
space:
mode:
authorMasahiro Yamada <yamada.m@jp.panasonic.com>2014-10-20 17:45:57 +0900
committerTom Rini <trini@ti.com>2014-10-27 17:54:10 -0400
commitcf6bbe4c6114126eaab215ea84267c7aa7ab08a1 (patch)
treeb1c9630f4c65c60f9ac4923e78f9f5d4aad67da7 /Kconfig
parent02627356b6ec5512f68d2eabaac6ff325111542e (diff)
kconfig: add CONFIG_SUPPORT_TPL
CONFIG_TPL should not be enabled for boards that do not have TPL. CONFIG_SUPPORT_TPL introduced by this commit should be "select"ed by boards with TPL support and CONFIG_TPL should depend on it. Signed-off-by: Masahiro Yamada <yamada.m@jp.panasonic.com>
Diffstat (limited to 'Kconfig')
-rw-r--r--Kconfig5
1 files changed, 4 insertions, 1 deletions
diff --git a/Kconfig b/Kconfig
index 29e0b929f51..932fc8b12af 100644
--- a/Kconfig
+++ b/Kconfig
@@ -73,6 +73,9 @@ config TPL_BUILD
config SUPPORT_SPL
bool
+config SUPPORT_TPL
+ bool
+
config SPL
bool
depends on SUPPORT_SPL
@@ -83,7 +86,7 @@ config SPL
config TPL
bool
- depends on SPL
+ depends on SPL && SUPPORT_TPL
prompt "Enable TPL" if !SPL_BUILD
default y if TPL_BUILD
default n