Tools/GCCProxy - Removed debug

diff --git a/Tools/GCCProxy/gccproxy.sh b/Tools/GCCProxy/gccproxy.sh
index 515f5d7..a3183d3 100755 (executable)
--- a/Tools/GCCProxy/gccproxy.sh
+++ b/Tools/GCCProxy/gccproxy.sh
@@ -63,7 +63,7 @@ while [[ $# -gt 0 ]]; do
 done
 
 run() {
-       echo --- $*
+#      echo --- $*
        $*
        return $?
 }