diff options
author | Phil Sutter <phil@nwl.cc> | 2014-06-17 03:07:51 +0200 |
---|---|---|
committer | Waldemar Brodkorb <wbx@openadk.org> | 2014-06-18 09:10:36 +0200 |
commit | c01217fcb06487287b04f68c73d00f2ad3372471 (patch) | |
tree | 79b58d8308589b0bbe63625b79bbfead6ad37c78 /target | |
parent | 10af76efc1d5e707fd16342c5d835b54b02695c2 (diff) |
target/linux/config: allow for building kernel with -Os
As this is potentially preferred on an embedded system, make it the
default.
Signed-off-by: Phil Sutter <phil@nwl.cc>
Diffstat (limited to 'target')
-rw-r--r-- | target/linux/config/Config.in.kernel | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/target/linux/config/Config.in.kernel b/target/linux/config/Config.in.kernel index c36f550ff..a9f09ea5d 100644 --- a/target/linux/config/Config.in.kernel +++ b/target/linux/config/Config.in.kernel @@ -189,4 +189,9 @@ config ADK_KERNEL_PREEMPT boolean default n +config ADK_KERNEL_CC_OPTIMIZE_FOR_SIZE + prompt "Optimize for size" + boolean + default y + endmenu |