diff options
-rw-r--r-- | config/Config-build.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/config/Config-build.in b/config/Config-build.in index d5e183926d..f3f1930bb8 100644 --- a/config/Config-build.in +++ b/config/Config-build.in @@ -83,10 +83,12 @@ menu "Global build settings" Useful for release builds, so that kernel issues can be debugged offline later. - comment "Kernel build options" + menu "Kernel build options" source "config/Config-kernel.in" + endmenu + comment "Package build options" config DEBUG |