diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-03-18 18:48:05 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-18 18:48:20 -0700 |
| commit | 10f6f6303cc8bf691ccebd75410b953a0e9dde12 (patch) | |
| tree | 26145aac2ddf0bfab7737123e25189d0486c4b42 | |
| parent | bfbdd4937cebaf4048fceaedd08f0e5fb87e663c (diff) | |
v1.3.11.3.1
| -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 81a8e053..3d0f90b9 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -181,7 +181,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.3.0' +EMSCRIPTEN_VERSION = '1.3.1' def check_sanity(force=False): try: |