diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2019-01-07 13:24:58 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-07 13:24:58 -0800 |
| commit | 7d94900ded8e2e5ce8ef8ee2687528531d8f2a97 (patch) | |
| tree | d8bba13d306b0c5ecba384384e602e6cccc83015 /scripts/strip_local_names.py | |
| parent | 6f91af190effd7b8a5969314dd4fb3d2ec540524 (diff) | |
| download | binaryen-7d94900ded8e2e5ce8ef8ee2687528531d8f2a97.tar.gz binaryen-7d94900ded8e2e5ce8ef8ee2687528531d8f2a97.tar.bz2 binaryen-7d94900ded8e2e5ce8ef8ee2687528531d8f2a97.zip | |
Massive renaming (#1855)
Automated renaming according to
https://github.com/WebAssembly/spec/issues/884#issuecomment-426433329.
Diffstat (limited to 'scripts/strip_local_names.py')
| -rw-r--r-- | scripts/strip_local_names.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/strip_local_names.py b/scripts/strip_local_names.py index d617766bc..2e14b8e2b 100644 --- a/scripts/strip_local_names.py +++ b/scripts/strip_local_names.py @@ -7,7 +7,7 @@ to diff for structural changes, this can help. import sys for line in open(sys.argv[1]).readlines(): - if '(tee_local ' in line or '(set_local ' in line or '(get_local ' in line: + if '(local.tee ' in line or '(local.set ' in line or '(local.get ' in line: print line[:line.find('$')] else: print line, |