From acf12735450c275a937e5133df618608c9990e18 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Wed, 30 Mar 2016 15:35:30 -0700 Subject: we export memory properly now, no need in spidermonkify.py --- scripts/spidermonkify.py | 10 ---------- 1 file changed, 10 deletions(-) (limited to 'scripts/spidermonkify.py') diff --git a/scripts/spidermonkify.py b/scripts/spidermonkify.py index 1632c20fd..d7b2ea138 100644 --- a/scripts/spidermonkify.py +++ b/scripts/spidermonkify.py @@ -51,16 +51,6 @@ js = js.replace("'" + base_wast_target + "'", "'" + base_wasm_target + "'") open(js_target, 'w').write(js) shutil.copyfile(wast_target + '.mappedGlobals', wasm_target + '.mappedGlobals') -# fix up wast -wast = open(wast_target).read() -# memory -memory_start = wast.find('(memory') + 1 -memory_end = wast.find(')', memory_start) -wast = (wast[:memory_end + 1] + - ' (export "memory" memory) ' + - wast[memory_end + 1:]) -open(wast_target, 'w').write(wast) - # convert to binary using spidermonkey subprocess.check_call( emscripten.shared.SPIDERMONKEY_ENGINE + -- cgit v1.2.3