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"