diff options
author | Jez Ng <me@jezng.com> | 2013-06-27 22:31:01 -0700 |
---|---|---|
committer | Jez Ng <me@jezng.com> | 2013-06-27 22:31:01 -0700 |
commit | 9674b76bec259a87fed5bd9538936fe70ae7d300 (patch) | |
tree | 807f5ff8259daaffb2a914205b4362a45ecc172f /tools/shared.py | |
parent | 2845fa9b8874b7fe896110d09442c6ffa3bc3f96 (diff) |
Remove unused code and rebump version number.
Diffstat (limited to 'tools/shared.py')
-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 d4d955a1..a11122a3 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.2' +EMSCRIPTEN_VERSION = '1.5.3' def generate_sanity(): return EMSCRIPTEN_VERSION + '|' + get_llvm_target() |