diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-12-31 16:27:46 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-12-31 16:28:06 -0800 |
commit | 68b84c996801f507d2252947728e090bd3c98e35 (patch) | |
tree | 63eae03ce3fde8946de868ca071e9b52d71c4b3a | |
parent | 654963c82cc304bd1d075446b985963f787fe641 (diff) |
version 1.2, asm+unnamed globals+optimized >32bit returns1.2.0
-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 c310afd4..7977b37a 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -172,7 +172,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.1.0' +EMSCRIPTEN_VERSION = '1.2.0' def check_sanity(force=False): try: |