diff options
author | Jukka Jylänki <jujjyl@gmail.com> | 2013-11-17 17:50:04 +0200 |
---|---|---|
committer | Jukka Jylänki <jujjyl@gmail.com> | 2013-11-17 22:06:05 +0200 |
commit | c655638e4a1529f498cb8ff735b936b18a6083c8 (patch) | |
tree | e9f04b6d861f9e96897cf4d37b81a5d57afac26f /tools/settings_template_readonly.py | |
parent | d53acffe62709a12104d43f665fe496ab768f4bf (diff) |
Add a default setting line for running crunch tool, primarily from CRUNCH env var, and secondarily from PATH.
Diffstat (limited to 'tools/settings_template_readonly.py')
-rw-r--r-- | tools/settings_template_readonly.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/settings_template_readonly.py b/tools/settings_template_readonly.py index 14b45a20..a2a16f19 100644 --- a/tools/settings_template_readonly.py +++ b/tools/settings_template_readonly.py @@ -18,6 +18,8 @@ JAVA = 'java' # executable TEMP_DIR = '{{{ TEMP }}}' +CRUNCH = os.path.expanduser(os.getenv('CRUNCH') or 'crunch') # executable + #CLOSURE_COMPILER = '..' # define this to not use the bundled version ######################################################################################################## |