Changes in defaults/ia32/Makefile.config [a0a273e:b3364b7c] in mainline

File:

• defaults/ia32/Makefile.config (modified) (3 diffs)

defaults/ia32/Makefile.config

@@ -10 +10 @@
 # Compiler
 COMPILER = gcc_cross
-
-# In case compiler is clang, whether or not to use its integrated assembler.
-INTEGRATED_AS = default
 
 # Debug build
@@ -80 +77 @@
 CONFIG_USE_SHARED_LIBS = y
 
-# Include development files (headers, libraries)
-CONFIG_DEVEL_FILES = y
-
 # OHCI root hub power switch, ganged is enough
 OHCI_POWER_SWITCH = ganged
@@ -88 +82 @@
 # GRUB boot loader architecture
 GRUB_ARCH = pc
-
-# Optimization level
-OPTIMIZATION = 3