From 5aa84c28a6dc9778e12e7b9d05fc8d5b2e309ed9 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 24 Mar 2013 09:00:19 -0700
Subject: [PATCH] Remove trace msg

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 scripts/mk_util.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 257b1b295..06120e2c4 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -520,7 +520,6 @@ def parse_options():
 # Return a list containing a file names included using '#include' in
 # the given C/C++ file named fname.
 def extract_c_includes(fname):
-    print(fname)
     result = []
     # We look for well behaved #include directives
     std_inc_pat     = re.compile("[ \t]*#include[ \t]*\"(.*)\"[ \t]*")