diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-12-28 10:39:44 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-12-28 10:39:44 -0800 |
| commit | 493eed11c24fc51716a08df7b72d5f0021e6535e (patch) | |
| tree | 47be247a230d7890e8a37788206e0220c87573c8 /tools/shared.py | |
| parent | 9e1c9c1577669424a9c7dee86b34f20ad6366c8e (diff) | |
optimize relooper id counters1.8.0
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 20951a12..eb1c63be 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -322,7 +322,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.9' +EMSCRIPTEN_VERSION = '1.8.0' def generate_sanity(): return EMSCRIPTEN_VERSION + '|' + get_llvm_target() + '|' + LLVM_ROOT |