diff options
author | Alon Zakai <alonzakai@gmail.com> | 2013-11-12 14:50:15 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2013-11-12 14:50:15 -0800 |
commit | 42fdcd5e0f7410d34d57fbf883c4e8039ec4d824 (patch) | |
tree | c844a30afdd7cfa6aaf88fa63b43118f23092e11 | |
parent | 57b8e5a49801661495b14ddc33c4775c7844e174 (diff) |
version 1.7.51.7.5
-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 4a565e26..40808d05 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -307,7 +307,7 @@ def find_temp_directory(): # 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.7.4' +EMSCRIPTEN_VERSION = '1.7.5' def generate_sanity(): return EMSCRIPTEN_VERSION + '|' + get_llvm_target() + '|' + LLVM_ROOT |