Changeset 2c52073 in mainline for defaults/ia32/Makefile.config

Timestamp:

2017-10-03T16:04:22Z (5 years ago)

Author:

jzr <zarevucky.jiri@…>

Branches:

lfn, master, serial

Children:

b4a9f5d

Parents:

68f4671

Message:

Remove CONFIG_OPTIMIZE_FOR_SIZE and instead directly set OPTIMIZATION as multiple-choice.

File:

• defaults/ia32/Makefile.config (modified) (1 diff)

defaults/ia32/Makefile.config

@@ -85 +85 @@
 # GRUB boot loader architecture
 GRUB_ARCH = pc
+
+# Optimization level
+OPTIMIZATION = 3