diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-06-21 14:47:12 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-06-21 14:47:31 -0700 |
commit | fb9b76bd934414969e90b75671fd4c64bf689246 (patch) | |
tree | c298e79654ed3da9cff4c456a61a352da13c5845 /tools | |
parent | ab52273a5dd207187a2959a3f1e08c4196665bcc (diff) |
reduce indentation in relooper1.5.1
Diffstat (limited to 'tools')
-rw-r--r-- | tools/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/shared.py b/tools/shared.py index c16c9115..db8f7a56 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -295,7 +295,7 @@ def check_node_version(): # we re-check sanity when the settings are changed) # We also re-check sanity and clear the cache when the version changes -EMSCRIPTEN_VERSION = '1.5.0' +EMSCRIPTEN_VERSION = '1.5.1' def generate_sanity(): return EMSCRIPTEN_VERSION + '|' + get_llvm_target() |