diff options
| author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2016-02-22 03:48:26 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2016-02-22 03:50:11 -0300 |
| commit | 82a4ff9852957845f0bd98d671f46f2422549101 (patch) | |
| tree | 8c127ce10fb8c158115244179fcbab6ae7bbedcb /libre/linux-libre-pck/config.armv7h | |
| parent | b523ef3fcc174ba2348211c5bb8aa72a77554b0f (diff) | |
linux-libre-pck: minor fix
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 |