aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2013-03-02 00:05:17 -0500
committerAlon Zakai <alonzakai@gmail.com>2013-03-02 00:05:17 -0500
commit46f3b8aa348a586a01fca22511d91c6aa5407965 (patch)
tree7984711912e9689ebff593f982235e431e697e88
parent2be0fae9affd2cd17373909deba7990941c318a3 (diff)
commented-out debugging stuff
-rw-r--r--tools/shared.py3
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py
index 10e267a7..aca0677d 100644
--- a/tools/shared.py
+++ b/tools/shared.py
@@ -388,6 +388,9 @@ if USE_EMSDK:
else:
EMSDK_OPTS = []
+#print >> sys.stderr, 'SDK opts', ' '.join(EMSDK_OPTS)
+#print >> sys.stderr, 'Compiler opts', ' '.join(COMPILER_OPTS)
+
# Engine tweaks
try: