summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2016-04-21 21:26:32 -0700
committerAlon Zakai <alonzakai@gmail.com>2016-04-22 10:12:24 -0700
commit0a43823615155f956f078ce7b7a8a580bc01fbe1 (patch)
tree741d1b423ea3f8f9430c96559df13524c970f7d1 /scripts
parenta35db41bcca092212328b6be2fa0eddb635f2f3f (diff)
downloadbinaryen-0a43823615155f956f078ce7b7a8a580bc01fbe1.tar.gz
binaryen-0a43823615155f956f078ce7b7a8a580bc01fbe1.tar.bz2
binaryen-0a43823615155f956f078ce7b7a8a580bc01fbe1.zip
br_table offsets are int32s, not lebs
Diffstat (limited to 'scripts')
-rw-r--r--scripts/spidermonkify.py4
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py
index 9c99b4087..b199faafc 100644
--- a/scripts/spidermonkify.py
+++ b/scripts/spidermonkify.py
@@ -59,8 +59,8 @@ new Uint8Array(wasmTextToBinary(os.file.readFile("test/hello_world.wast"))))'
investigate with
>>> map(chr, map(ord, open('moz.wasm').read()))
or
-import json; print json.dumps(map(chr,
-map(ord, open('moz.wasm').read()))).replace(',', '\n')
+python -c "print str(map(chr,map(ord,
+ open('a.out.wasm').read()))).replace(',', '\n')"
'''
subprocess.check_call(
emscripten.shared.SPIDERMONKEY_ENGINE +