diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-03-07 20:19:54 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-03-07 20:19:54 -0800 |
| commit | a59745b73d1206a78a8a0ac8ae98ac717f9ff756 (patch) | |
| tree | ff564a5f7e54c1afd2c75ca280e326fb90032a49 | |
| parent | 26e4710625d3b50fca6f1fe0b88d9e4a1c7875ef (diff) | |
| download | binaryen-a59745b73d1206a78a8a0ac8ae98ac717f9ff756.tar.gz binaryen-a59745b73d1206a78a8a0ac8ae98ac717f9ff756.tar.bz2 binaryen-a59745b73d1206a78a8a0ac8ae98ac717f9ff756.zip | |
remove br_table hack in spidermonkfiy
| -rw-r--r-- | scripts/spidermonkify.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py index 9851f6d25..8dde4c284 100644 --- a/scripts/spidermonkify.py +++ b/scripts/spidermonkify.py @@ -44,8 +44,6 @@ os.remove(temp) # fix up wast wast = open(wast_target).read() -# tableswitch => br_table -wast = wast.replace('(tableswitch', '(br_table') # memory to page sizes PAGE_SIZE = 64 * 1024 memory_start = wast.find('(memory') + 1 |