use the new BINARYEN option in emscripten

1 files changed, 2 insertions, 3 deletions

diff --git a/check.py b/check.py
index fcdf2ab3c..7f0ebd5f5 100755
--- a/check.py
+++ b/check.py
@@ -159,15 +159,14 @@ for c in tests:
       extra = json.loads(open(emcc).read())
     if os.path.exists('a.normal.js'): os.unlink('a.normal.js')
     for opts in [[], ['-O1'], ['-O2'], ['-O3'], ['-Oz']]:
-      command = ['./emcc_to_wasm.js.sh', os.path.join('test', c)] + opts + extra
+      command = ['emcc', '-o', 'a.wasm.js', '-s', 'BINARYEN="' + os.getcwd() + '"', os.path.join('test', c)] + opts + extra
       subprocess.check_call(command, stdout=subprocess.PIPE, stderr=subprocess.PIPE)
       print '....' + ' '.join(command)
       if post:
-        open('a.normal.js', 'a').write(post)
         open('a.wasm.js', 'a').write(post)
       else:
         print '     (no post)'
-      for which in ['normal', 'wasm']:
+      for which in ['wasm']:
         print '......', which
         try:
           args = json.loads(open(os.path.join('test', base + '.args')).read())