update

[l4.git] / kernel / fiasco / src / Makeconf.ia32

diff --git a/kernel/fiasco/src/Makeconf.ia32 b/kernel/fiasco/src/Makeconf.ia32
index 51bb735bb207e417d3a00464d11830135ebd9768..fcd1a164367ff0df767b6df34d8d40b5586b9017 100644 (file)
--- a/kernel/fiasco/src/Makeconf.ia32
+++ b/kernel/fiasco/src/Makeconf.ia32
@@ -24,6 +24,7 @@ SHARED_FLAGS-$(CONFIG_IA32_P4)    += -march=i686 $(call CHECKCC,-mtune=pentium4,
 SHARED_FLAGS-$(CONFIG_IA32_PM)    += -march=i686 $(call CHECKCC,-mtune=pentium-m,\
                                                    $(call CHECKCC,-mcpu=pentiumm))
 SHARED_FLAGS-$(CONFIG_IA32_CORE2) += $(call CHECKCC,-march=core2,-march=i686)
+SHARED_FLAGS-$(CONFIG_IA32_CORE_I)+= $(call CHECKCC,-march=corei7,-march=i686)
 SHARED_FLAGS-$(CONFIG_IA32_ATOM)  += $(call CHECKCC,-march=atom,-march=i686)
 SHARED_FLAGS-$(CONFIG_IA32_K6)    += $(call CHECKCC,-march=k6,-march=i586)
 SHARED_FLAGS-$(CONFIG_IA32_K7)    += $(call CHECKCC,-march=athlon,-march=i686)