diff options
| -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 |