update

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

diff --git a/kernel/fiasco/src/Makeconf.arm b/kernel/fiasco/src/Makeconf.arm
index 44c9b2e5c65714eb2f1e7c2a7abdd6afe2794803..43bfbfe5d2c324f0a7900539fe90e9649a359463 100644 (file)
--- a/kernel/fiasco/src/Makeconf.arm
+++ b/kernel/fiasco/src/Makeconf.arm
@@ -1,6 +1,6 @@
 # -*- makefile -*-
 #OPT_SHARED_FLAGS                  += $(call CHECKCC,-finline-limit=10000,)
-SYSTEM_TARGET                    := arm-linux-
+SYSTEM_TARGET                    ?= arm-linux-
 SHARED_FLAGS-$(CONFIG_ARM_PXA)    += -mcpu=xscale
 SHARED_FLAGS-$(CONFIG_ARM_SA)     += -mcpu=strongarm1100
 SHARED_FLAGS-$(CONFIG_ARM_920T)   += -mcpu=arm920t