diff options
Diffstat (limited to 'tools/shared.py')
| -rw-r--r-- | tools/shared.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 52ca0292..bc1177b2 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -1351,6 +1351,8 @@ JCache = cache.JCache(Cache) chunkify = cache.chunkify class JS: + memory_initializer_pattern = '/\* memory initializer \*/ allocate\(([\d,\.concat\(\)\[\]\\n ]+)"i8", ALLOC_NONE, Runtime\.GLOBAL_BASE\)' + @staticmethod def to_nice_ident(ident): # limited version of the JS function toNiceIdent return ident.replace('%', '$').replace('@', '_'); |