From 3d35c3e23b866b87b8c047c20f2476567319afa6 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Wed, 14 Nov 2012 14:24:15 +0100
Subject: [PATCH] base-fiasco: support 64bit build hosts

---
 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 826fc5bc4..9200890ea 100644
--- a/base-fiasco/config/l4env-config.x86
+++ b/base-fiasco/config/l4env-config.x86
@@ -32,8 +32,8 @@ BID_COLORED_PHASES=y
 # Compilers and Tools
 #
 BIDc_USE_SPECIAL_CC=y
-HOST_CC="gcc -m32"
-HOST_CXX="g++ -m32"
+HOST_CC="gcc"
+HOST_CXX="g++"
 CC="$(SYSTEM_TARGET)gcc -m32"
 CXX="$(SYSTEM_TARGET)g++ -m32"