diff options
Diffstat (limited to 'settings.py')
| -rw-r--r-- | settings.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/settings.py b/settings.py index e4c541f3..a7dd685e 100644 --- a/settings.py +++ b/settings.py @@ -10,7 +10,7 @@ NODE_JS = 'node' SPIDERMONKEY_ENGINE = [os.path.expanduser('~/Dev/mozilla-central/js/src/js'), '-m', '-n'] V8_ENGINE = os.path.expanduser('~/Dev/v8/d8') -CLOSURE_COMPILER = os.path.expanduser('~/Dev/closure-compiler/compiler.jar') # optional (needed for the benchmarks) +CLOSURE_COMPILER = EMSCRIPTEN_ROOT + '/closure-compiler/compiler.jar' TEMP_DIR = '/tmp' |