diff options
author | Bruce Mitchener <bruce.mitchener@gmail.com> | 2013-11-02 22:45:32 +0700 |
---|---|---|
committer | Bruce Mitchener <bruce.mitchener@gmail.com> | 2013-11-02 22:46:46 +0700 |
commit | eee1dad79e3f4736c10be166ced7f62b082289f4 (patch) | |
tree | cc92938a32d02cfd65cd8ebe59a8efabcb279609 /tools | |
parent | 90dcac551fee69cf284ae4431db949bc69796a1c (diff) |
regex implementation from musl.
Diffstat (limited to 'tools')
-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 f6c0cc95..d38aef4c 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -314,7 +314,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.1' +EMSCRIPTEN_VERSION = '1.7.2' def generate_sanity(): return EMSCRIPTEN_VERSION + '|' + get_llvm_target() + '|' + LLVM_ROOT |