diff options
author | Abdoulaye Walsimou Gaye <awg@embtoolkit.org> | 2015-01-01 20:53:58 +0100 |
---|---|---|
committer | Abdoulaye Walsimou Gaye <awg@embtoolkit.org> | 2015-01-01 20:53:58 +0100 |
commit | 685132670f7bda2f15dff1a10cc4c9f69c3b1bf1 (patch) | |
tree | 6b19bc8caaae11649195dfbfbfb5c3bcb03a6ed0 | |
parent | 68a7c6bccf6b807d103fc2e1ca50cb42d2f875d2 (diff) | |
download | embtoolkit-685132670f7bda2f15dff1a10cc4c9f69c3b1bf1.tar.gz embtoolkit-685132670f7bda2f15dff1a10cc4c9f69c3b1bf1.tar.bz2 embtoolkit-685132670f7bda2f15dff1a10cc4c9f69c3b1bf1.tar.xz |
Toolchain: linux headers: fix build when the source tree is git repositoy
Signed-off-by: Abdoulaye Walsimou Gaye <awg@embtoolkit.org>
-rw-r--r-- | core/kconfig/linux-custom.kconfig | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/core/kconfig/linux-custom.kconfig b/core/kconfig/linux-custom.kconfig index 76e810d..f457b95 100644 --- a/core/kconfig/linux-custom.kconfig +++ b/core/kconfig/linux-custom.kconfig @@ -36,6 +36,7 @@ choice config EMBTK_LINUX_SRC_CUSTOM_GIT bool "Git repository" select EMBTK_LINUX_VERSION_GIT + select EMBTK_LINUX_HEADERS_VERSION_GIT help Use linux kernel source tree from a git repository. endchoice @@ -85,3 +86,29 @@ config EMBTK_LINUX_REFSPEC string depends on EMBTK_LINUX_VERSION_GIT default "toolchain" + +# +# linux headers git options +# +config EMBTK_LINUX_HEADERS_VERSION_GIT + bool + +config EMBTK_LINUX_HEADERS_GIT_SITE + string + depends on EMBTK_LINUX_VERSION_GIT + default EMBTK_LINUX_GIT_SITE + +config EMBTK_LINUX_HEADERS_GIT_BRANCH + string + depends on EMBTK_LINUX_VERSION_GIT + default EMBTK_LINUX_GIT_BRANCH + +config EMBTK_LINUX_HEADERS_GIT_REVISION + string + depends on EMBTK_LINUX_VERSION_GIT + default EMBTK_LINUX_GIT_REVISION + +config EMBTK_LINUX_HEADERS_REFSPEC + string + depends on EMBTK_LINUX_VERSION_GIT + default EMBTK_LINUX_REFSPEC |