Index: tools/autotool.py
===================================================================
--- tools/autotool.py	(revision 36ceaac17c7a5f19d8c3f17a6f9ed419218c4511)
+++ tools/autotool.py	(revision 7f25c4e9da012f7d3387d095172d979087ec8173)
@@ -186,4 +186,5 @@
 	gnu_target = None
 	clang_target = None
+	cc_args = []
 	
 	if (config['PLATFORM'] == "abs32le"):
@@ -221,5 +222,5 @@
 	if (config['PLATFORM'] == "mips32"):
 		check_config(config, "MACHINE")
-		common['CC_ARGS'].append("-mabi=32")
+		cc_args.append("-mabi=32")
 		
 		if ((config['MACHINE'] == "lgxemul") or (config['MACHINE'] == "msim")):
@@ -233,5 +234,5 @@
 	if (config['PLATFORM'] == "mips64"):
 		check_config(config, "MACHINE")
-		common['CC_ARGS'].append("-mabi=64")
+		cc_args.append("-mabi=64")
 		
 		if (config['MACHINE'] == "msim"):
@@ -251,5 +252,5 @@
 		             "Please contact the developers of HelenOS."])
 	
-	return (target, gnu_target, clang_target)
+	return (target, cc_args, gnu_target, clang_target)
 
 def check_app(args, name, details):
@@ -713,5 +714,5 @@
 		common['CC_ARGS'] = []
 		if (config['COMPILER'] == "gcc_cross"):
-			target, gnu_target, clang_target_unused = get_target(config)
+			target, cc_args, gnu_target, clang_target_unused = get_target(config)
 				
 			path = "%s/%s/bin" % (cross_prefix, target)
@@ -723,4 +724,5 @@
 			check_common(common, "GCC")
 			common['CC'] = common['GCC']
+			common['CC_ARGS'].extend(cc_args)
 		
 		if (config['COMPILER'] == "gcc_native"):
@@ -738,9 +740,10 @@
 		
 		if (config['COMPILER'] == "clang"):
-			target, gnu_target, clang_target = get_target(config, True)
+			target, cc_args, gnu_target, clang_target = get_target(config, True)
 			path = "%s/%s/bin" % (cross_prefix, target)
 			prefix = "%s-" % gnu_target
 			
 			common['CC'] = "clang"
+			common['CC_ARGS'].extend(cc_args)
 			common['CC_ARGS'].append("-target")
 			common['CC_ARGS'].append(clang_target)