diff options
| author | Waldemar Brodkorb <wbx@openadk.org> | 2017-07-01 11:50:32 +0200 |
|---|---|---|
| committer | Waldemar Brodkorb <wbx@openadk.org> | 2017-07-01 11:50:32 +0200 |
| commit | 32a5769583cac3bd91b4aa52ac6dd8637e6d3c89 (patch) | |
| tree | b5abe5857d5da340b17df52f09481e4f6390b50c /target/config | |
| parent | 479a3361472de1c1872927bdb2c40fec0749ad24 (diff) | |
nds32: do not use kernel mirrors
Diffstat (limited to 'target/config')
| -rw-r--r-- | target/config/Config.in.kernelversion | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/target/config/Config.in.kernelversion b/target/config/Config.in.kernelversion index 7293d392b..6d54420ea 100644 --- a/target/config/Config.in.kernelversion +++ b/target/config/Config.in.kernelversion @@ -241,3 +241,9 @@ config ADK_TARGET_KERNEL_GIT_TYPE string depends on ADK_TARGET_KERNEL_VERSION_GIT default "hash" + +config ADK_TARGET_KERNEL_NO_MIRROR + bool + help + Select this if the kernel source is only available + on OpenADK webserver. |