From 347ff635b3a8ad5277943afd13782405a7aeef62 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 15 Nov 2013 16:11:19 +0100
Subject: [PATCH] fiasco: fix SYSTEM_TARGET prefix in l4env config

The config file is interpreted in a bash script. So, SYSTEM_TARGET is a
bash variable, i.e., ${SYSTEM_TARGET}.

Fixes #946. Related to #490.
---
 base-fiasco/config/l4env-config.x86 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/base-fiasco/config/l4env-config.x86 b/base-fiasco/config/l4env-config.x86
index 9200890ea..4191767a3 100644
--- a/base-fiasco/config/l4env-config.x86
+++ b/base-fiasco/config/l4env-config.x86
@@ -34,8 +34,8 @@ BID_COLORED_PHASES=y
 BIDc_USE_SPECIAL_CC=y
 HOST_CC="gcc"
 HOST_CXX="g++"
-CC="$(SYSTEM_TARGET)gcc -m32"
-CXX="$(SYSTEM_TARGET)g++ -m32"
+CC="${SYSTEM_TARGET}gcc -m32"
+CXX="${SYSTEM_TARGET}g++ -m32"
 
 #
 # Tools