diff options
author | Abdoulaye Walsimou Gaye <awg@embtoolkit.org> | 2014-07-09 23:14:03 +0200 |
---|---|---|
committer | Abdoulaye Walsimou Gaye <awg@embtoolkit.org> | 2014-07-09 23:14:03 +0200 |
commit | cf45ce257cf67a282fd7b46614b49994af6f4957 (patch) | |
tree | c5ea528cfd924ad92734012f1fa031e660a3850d /Kconfig | |
parent | 795308c52496f172ca1f354a49a9def48a2d1712 (diff) | |
download | embtoolkit-cf45ce257cf67a282fd7b46614b49994af6f4957.tar.gz embtoolkit-cf45ce257cf67a282fd7b46614b49994af6f4957.tar.bz2 embtoolkit-cf45ce257cf67a282fd7b46614b49994af6f4957.tar.xz |
Host tools: move gsed to htools/gsed
Signed-off-by: Abdoulaye Walsimou Gaye <awg@embtoolkit.org>
Diffstat (limited to 'Kconfig')
-rw-r--r-- | Kconfig | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -36,6 +36,10 @@ config EMBTK_VERSION string option env="EMBTK_VERSION" +config EMBTK_HOST_OSTYPE + string + option env="EMBTK_HOST_OSTYPE" + menu "Target OS Selection" choice prompt "Choose target OS" |