diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/Config-devel.in | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/config/Config-devel.in b/config/Config-devel.in index 5e5c857b42..fd57bcbccd 100644 --- a/config/Config-devel.in +++ b/config/Config-devel.in @@ -62,14 +62,6 @@ menuconfig DEVEL This will create a git clone of the kernel in your build directory. - config KERNEL_GIT_LOCAL_REPOSITORY - string "Enter path to local reference repository" if DEVEL - default "" - help - Enter a full pathname to a local reference git repository. - In this instance, the --refererence option of git clone will - be used thus creating a quick local clone of your repo. - config BUILD_LOG bool "Enable log files during build process" if DEVEL help |