diff options
| author |   Alexey Neyman <stilor@att.net> | 2016-12-03 03:18:56 (GMT) |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2016-12-03 03:18:56 (GMT) |
| commit | 4042269de621e166235308f139e89c92e379040d (patch) | |
| tree | 093329f6412837d89e1e849575a3f1579412802f /config | |
| parent | a787e410dc7133fb371e71161663639e1c0dc89b (diff) | |
| parent | bf0d593639d0c9451b13be4965bc6766cc90fed9 (diff) | |
Merge pull request #487 from stilor/host-comp-tools
Allow for installation of companion tools for host
Diffstat (limited to 'config')
| -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 |