diff options
| author | Bruce Mitchener <bruce.mitchener@gmail.com> | 2014-01-15 09:57:54 +0700 |
|---|---|---|
| committer | Bruce Mitchener <bruce.mitchener@gmail.com> | 2014-01-15 12:01:56 +0700 |
| commit | ec9a571deed69421b281a26e72b6168e65c931e2 (patch) | |
| tree | 40e69b21ee2f8c2881d0ecfd31090da818d67312 | |
| parent | db88b6cd9b687c3c88efd0e193ba8a97b0aef53d (diff) | |
Bump version.
| -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 9cc10e60..4c89d2df 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -345,7 +345,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.8.11' +EMSCRIPTEN_VERSION = '1.8.12' def generate_sanity(): return EMSCRIPTEN_VERSION + '|' + get_llvm_target() + '|' + LLVM_ROOT + '|' + get_clang_version() |