diff options
Diffstat (limited to 'config/comp_tools.in')
| -rw-r--r-- | config/comp_tools.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/config/comp_tools.in b/config/comp_tools.in new file mode 100644 index 00000000..020a0709 --- /dev/null +++ b/config/comp_tools.in @@ -0,0 +1,15 @@ +# Companion tools config options + +menu "Companion 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). + +source "config/gen/comp_tools.in" + +endmenu |