diff options
Diffstat (limited to 'libre/linux-libre-pck/config.armv7h')
-rw-r--r-- | libre/linux-libre-pck/config.armv7h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libre/linux-libre-pck/config.armv7h b/libre/linux-libre-pck/config.armv7h index 2e209dd08..2820be761 100644 --- a/libre/linux-libre-pck/config.armv7h +++ b/libre/linux-libre-pck/config.armv7h @@ -161,7 +161,9 @@ CONFIG_RD_LZMA=y CONFIG_RD_XZ=y CONFIG_RD_LZO=y CONFIG_RD_LZ4=y -CONFIG_CC_OPTIMIZE_FOR_SIZE=y +CONFIG_CC_OPTIMIZE_DEFAULT=y +# CONFIG_CC_OPTIMIZE_HARDER is not set +# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set CONFIG_SYSCTL=y CONFIG_ANON_INODES=y CONFIG_HAVE_UID16=y |