diff options
author | Alexey Neyman <stilor@att.net> | 2016-11-29 00:55:22 (GMT) |
---|---|---|
committer | Alexey Neyman <stilor@att.net> | 2016-12-02 23:03:15 (GMT) |
commit | cf86df688a8e7aeba28767ae0f841022a2e8347b (patch) | |
tree | 1a66218983063c9531b00724d19967cbe5ceed8a /config/companion_tools.in | |
parent | 3f7fbd7beda5d840cd9a15189a94aaad4a802d37 (diff) |
Add 'companion tools for host' step.
Signed-off-by: Alexey Neyman <stilor@att.net>
Diffstat (limited to 'config/companion_tools.in')
-rw-r--r-- | config/companion_tools.in | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/config/companion_tools.in b/config/companion_tools.in index ece3552..1df9802 100644 --- a/config/companion_tools.in +++ b/config/companion_tools.in @@ -24,7 +24,15 @@ config COMP_TOOLS If your system has older versions, we can build them for you, but you are strongly encouraged to update your system instead! -if COMP_TOOLS +config COMP_TOOLS_FOR_HOST + bool + prompt "Install companion tools for host" + help + Enable this option if you want to include the selected companion + tools into the final toolchain (rather than just using them + to build it). + +if COMP_TOOLS || COMP_TOOLS_FOR_HOST source "config.gen/companion_tools.in" endif |