diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-06-25 15:40:56 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-07-03 15:31:03 -0700 |
| commit | 8c72d6795373155b79141c5092aa25d3f217d233 (patch) | |
| tree | 0ecdfd8d39ee9341d309d34407d5a871ccc3e685 /tools | |
| parent | 9663d80beb46c11df527935c4507db87aa34dab7 (diff) | |
move memory initializer pattern to shared
Diffstat (limited to 'tools')
| -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('@', '_'); |