Index: tools/checkers/vcc.py
===================================================================
--- tools/checkers/vcc.py	(revision 679c3610469a02f55062c989fd636a00457f8334)
+++ tools/checkers/vcc.py	(revision ed632988c6b2a483a45b26f06f129ef8a5c69e75)
@@ -2,4 +2,5 @@
 #
 # Copyright (c) 2010 Martin Decky
+# Copyright (c) 2010 Ondrej Sery
 # All rights reserved.
 #
@@ -51,17 +52,29 @@
 
 def preprocess(srcfname, tmpfname, base, options):
-	"Preprocess source using GCC preprocessor"
+	"Preprocess source using GCC preprocessor and compatibility tweaks"
 	
 	args = ['gcc', '-E']
 	args.extend(options.split())
-	args.extend(['-o', tmpfname, srcfname])
+	args.append(srcfname)
+	
+	# Change working directory
 	
 	cwd = os.getcwd()
 	os.chdir(base)
-	retval = subprocess.Popen(args).wait()
+	
+	preproc = subprocess.Popen(args, stdout = subprocess.PIPE).communicate()[0]
+	
+	tmpf = file(tmpfname, "w")
+	
+	for line in preproc.splitlines():
+		# Ignore preprocessor directives
+		if (line.startswith('#')):
+			continue	
+		
+		tmpf.write("%s\n" % line)
+	
+	tmpf.close()
+	
 	os.chdir(cwd)
-	
-	if (retval != 0):
-		return False
 	
 	return True