|
@@ -83,10 +83,12 @@ menu "Global build settings"
|
|
Useful for release builds, so that kernel issues can be debugged offline
|
|
Useful for release builds, so that kernel issues can be debugged offline
|
|
later.
|
|
later.
|
|
|
|
|
|
- comment "Kernel build options"
|
|
|
|
|
|
+ menu "Kernel build options"
|
|
|
|
|
|
source "config/Config-kernel.in"
|
|
source "config/Config-kernel.in"
|
|
|
|
|
|
|
|
+ endmenu
|
|
|
|
+
|
|
comment "Package build options"
|
|
comment "Package build options"
|
|
|
|
|
|
config DEBUG
|
|
config DEBUG
|