diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-12-25 21:39:13 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-12-25 21:39:13 -0800 |
| commit | 63e61eb21ece44ef7a34d4506f8fb158bafc45f6 (patch) | |
| tree | 89cf0cd2b26dd12a24de78f62645387fb5df590c | |
| parent | aab26adc6a63c770dae29d1cc5d8c0e29e02871a (diff) | |
show python/java defaults only in debug mode
| -rw-r--r-- | tools/shared.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/shared.py b/tools/shared.py index 780e0057..ede0d741 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -328,13 +328,13 @@ except: try: PYTHON except: - print >> sys.stderr, 'PYTHON not defined in ~/.emscripten, using "python"' + if DEBUG: print >> sys.stderr, 'PYTHON not defined in ~/.emscripten, using "python"' PYTHON = 'python' try: JAVA except: - print >> sys.stderr, 'JAVA not defined in ~/.emscripten, using "java"' + if DEBUG: print >> sys.stderr, 'JAVA not defined in ~/.emscripten, using "java"' JAVA = 'java' # Additional compiler options |