summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcheck.py11
1 files changed, 6 insertions, 5 deletions
diff --git a/check.py b/check.py
index 0bff81000..a8bd65bb4 100755
--- a/check.py
+++ b/check.py
@@ -683,11 +683,12 @@ if has_emcc:
execute()
- # binary and back
- shutil.copyfile('a.wasm.wast', 'a.wasm.original.wast')
- recreated = binary_format_check('a.wasm.wast', verify_final_result=False)
- shutil.copyfile(recreated, 'a.wasm.wast')
- execute()
+ if method in ['asm2wasm', 'wasm-s-parser']:
+ # binary and back
+ shutil.copyfile('a.wasm.wast', 'a.wasm.original.wast')
+ recreated = binary_format_check('a.wasm.wast', verify_final_result=False)
+ shutil.copyfile(recreated, 'a.wasm.wast')
+ execute()
print '\n[ success! ]'