diff options
Diffstat (limited to 'check.py')
| -rwxr-xr-x | check.py | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -212,19 +212,19 @@ def binary_format_check(wast, verify_final_result=True): cmd = [os.path.join('bin', 'wasm-as'), wast, '-o', 'a.wasm'] print ' ', ' '.join(cmd) if os.path.exists('a.wasm'): os.unlink('a.wasm') - subprocess.check_call(cmd, stdout=subprocess.PIPE, stderr=subprocess.PIPE) + subprocess.check_call(cmd, stdout=subprocess.PIPE) assert os.path.exists('a.wasm') cmd = [os.path.join('bin', 'wasm-dis'), 'a.wasm', '-o', 'ab.wast'] print ' ', ' '.join(cmd) if os.path.exists('ab.wast'): os.unlink('ab.wast') - subprocess.check_call(cmd, stdout=subprocess.PIPE, stderr=subprocess.PIPE) + subprocess.check_call(cmd, stdout=subprocess.PIPE) assert os.path.exists('ab.wast') # make sure it is a valid wast cmd = [os.path.join('bin', 'binaryen-shell'), 'ab.wast'] print ' ', ' '.join(cmd) - subprocess.check_call(cmd, stdout=subprocess.PIPE, stderr=subprocess.PIPE) + subprocess.check_call(cmd, stdout=subprocess.PIPE) if verify_final_result: expected = open(wast + '.fromBinary').read() |