Changes in defaults/amd64/Makefile.config [4bf0926e:a0a273e] in mainline

File:

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

defaults/amd64/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
@@ -65 +68 @@
 CONFIG_BFB_BPP = 16
 
+# Include development files (headers, libraries)
+CONFIG_DEVEL_FILES = y
+
 # OHCI root hub power switch, ganged is enough
 OHCI_POWER_SWITCH = ganged
@@ -70 +76 @@
 # GRUB boot loader architecture
 GRUB_ARCH = pc
+
+# Optimization level
+OPTIMIZATION = 3