diff options
Diffstat (limited to 'config/Config-devel.in')
| -rw-r--r-- | config/Config-devel.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/Config-devel.in b/config/Config-devel.in index 126462bfc3..a068f694e5 100644 --- a/config/Config-devel.in +++ b/config/Config-devel.in @@ -74,6 +74,10 @@ menuconfig DEVEL Store ccache in this directory. If not set, uses './.ccache' + config KERNEL_CFLAGS + string "Kernel extra CFLAGS" if DEVEL + default "" + config EXTERNAL_KERNEL_TREE string "Use external kernel tree" if DEVEL default "" |