diff options
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index fd51282b..7570473c 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -139,6 +139,11 @@ except: print 'ERROR: %s does not seem to have JS_ENGINES or JS_ENGINE set up' % EM_CONFIG raise +try: + CLOSURE_COMPILER +except: + CLOSURE_COMPILER = path_from_root('third_party', 'closure-compiler', 'compiler.jar') + # Additional compiler options try: |