diff options
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 1d70fcab..26bb55b3 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -1354,6 +1354,8 @@ class JS: memory_initializer_pattern = '/\* memory initializer \*/ allocate\(([\d,\.concat\(\)\[\]\\n ]+)"i8", ALLOC_NONE, Runtime\.GLOBAL_BASE\)' no_memory_initializer_pattern = '/\* no memory initializer \*/' + global_initializers_pattern = '/\* global initializers \*/ __ATINIT__.push\((.+)\);' + @staticmethod def to_nice_ident(ident): # limited version of the JS function toNiceIdent return ident.replace('%', '$').replace('@', '_') |