aboutsummaryrefslogtreecommitdiff
path: root/tools/settings_template_readonly.py
diff options
context:
space:
mode:
authorJukka Jylänki <jujjyl@gmail.com>2013-11-17 17:50:04 +0200
committerJukka Jylänki <jujjyl@gmail.com>2013-11-17 22:06:05 +0200
commitc655638e4a1529f498cb8ff735b936b18a6083c8 (patch)
treee9f04b6d861f9e96897cf4d37b81a5d57afac26f /tools/settings_template_readonly.py
parentd53acffe62709a12104d43f665fe496ab768f4bf (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.py2
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
########################################################################################################