diff options
| -rw-r--r-- | tools/shared.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 30de8685..85d89010 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -172,6 +172,12 @@ try: except: CLOSURE_COMPILER = path_from_root('third_party', 'closure-compiler', 'compiler.jar') +try: + JAVA +except: + print >> sys.stderr, 'JAVA not defined in ~/.emscripten, using "java"' + JAVA = 'java' + # Additional compiler options try: |