diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-03-02 00:05:17 -0500 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-02 00:05:17 -0500 |
commit | 46f3b8aa348a586a01fca22511d91c6aa5407965 (patch) | |
tree | 7984711912e9689ebff593f982235e431e697e88 | |
parent | 2be0fae9affd2cd17373909deba7990941c318a3 (diff) |
commented-out debugging stuff
-rw-r--r-- | tools/shared.py | 3 |
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: |