diff options
| author | Rafał Miłecki <rafal@milecki.pl> | 2022-06-15 12:36:36 +0200 |
|---|---|---|
| committer | Rafał Miłecki <rafal@milecki.pl> | 2022-07-08 15:38:42 +0200 |
| commit | b0968be02e264876e79e297d984ec82262344e7a (patch) | |
| tree | 9997f5f3b25b9f3b38d765aa2cfe9cefe2fb0a37 /config | |
| parent | 44fa330a8254893ec81e5b3df16299f32a0f053f (diff) | |
| download | upstream-b0968be02e264876e79e297d984ec82262344e7a.tar.gz upstream-b0968be02e264876e79e297d984ec82262344e7a.tar.bz2 upstream-b0968be02e264876e79e297d984ec82262344e7a.zip | |
kernel: support setting extra CFLAGS for kernel compilation
They may be used e.g. to optimize kernel size or performance.
Signed-off-by: Rafał Miłecki <rafal@milecki.pl>
(cherry picked from commit 907d7d747243044f86588f0d82993e8c106cb02c)
Diffstat (limited to 'config')
| -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 "" |