diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-03-07 20:37:02 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-03-07 20:37:02 -0800 |
| commit | 1f9c5923b370e532815e07ad95a7b631e466c7ce (patch) | |
| tree | b131529adb948b36ce58eccf6680e645acc56471 /scripts/spidermonkify.py | |
| parent | a59745b73d1206a78a8a0ac8ae98ac717f9ff756 (diff) | |
| download | binaryen-1f9c5923b370e532815e07ad95a7b631e466c7ce.tar.gz binaryen-1f9c5923b370e532815e07ad95a7b631e466c7ce.tar.bz2 binaryen-1f9c5923b370e532815e07ad95a7b631e466c7ce.zip | |
remove lower-if-else from spidermonkify
Diffstat (limited to 'scripts/spidermonkify.py')
| -rw-r--r-- | scripts/spidermonkify.py | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py index 8dde4c284..e57ec1376 100644 --- a/scripts/spidermonkify.py +++ b/scripts/spidermonkify.py @@ -34,14 +34,6 @@ js = js.replace("'" + base_wast_target + "'", "'" + base_wasm_target + "'") open(js_target, 'w').write(js) shutil.copyfile(wast_target + '.mappedGlobals', wasm_target + '.mappedGlobals') -# lower cases, spidermonkey has no support for them -temp = wast_target + '.temp' -subprocess.check_call([os.path.join(binaryen_root, 'bin', 'binaryen-shell'), - wast_target, '--lower-case', '--print'], - stdout=open(temp, 'w')) -shutil.copyfile(temp, wast_target) -os.remove(temp) - # fix up wast wast = open(wast_target).read() # memory to page sizes |