diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/find_bigis.py | 2 | ||||
| -rw-r--r-- | tools/shared.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tools/find_bigis.py b/tools/find_bigis.py index d11c1a81..1261e7ff 100644 --- a/tools/find_bigis.py +++ b/tools/find_bigis.py @@ -6,7 +6,7 @@ import os, sys, re filename = sys.argv[1] data = open(filename).read() -iss = re.findall('[^%]i\d+ [^=]', data) +iss = re.findall(' i\d+ [^=]', data) set_iss = set(iss) bigs = [] for iss in set_iss: diff --git a/tools/shared.py b/tools/shared.py index f88eace0..bd1d1bee 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.9.5' +EMSCRIPTEN_VERSION = '1.10.0' def generate_sanity(): return EMSCRIPTEN_VERSION + '|' + get_llvm_target() + '|' + LLVM_ROOT + '|' + get_clang_version() |