diff options
| author | Rafał Miłecki <rafal@milecki.pl> | 2022-06-15 12:36:36 +0200 |
|---|---|---|
| committer | Rafał Miłecki <rafal@milecki.pl> | 2022-06-20 22:17:38 +0200 |
| commit | 907d7d747243044f86588f0d82993e8c106cb02c (patch) | |
| tree | 414abac4fa8923390beda544c7d86139e0a26b11 /config | |
| parent | a1354accc081259d880c6a1ba8db7f2af2db1eec (diff) | |
| download | upstream-907d7d747243044f86588f0d82993e8c106cb02c.tar.gz upstream-907d7d747243044f86588f0d82993e8c106cb02c.tar.bz2 upstream-907d7d747243044f86588f0d82993e8c106cb02c.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>
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 "" |