diff options
Diffstat (limited to 'scripts/test/shared.py')
| -rw-r--r-- | scripts/test/shared.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/test/shared.py b/scripts/test/shared.py index 8309d9b5c..14860a74c 100644 --- a/scripts/test/shared.py +++ b/scripts/test/shared.py @@ -384,7 +384,7 @@ def binary_format_check(wast, verify_final_result=True, wasm_as_args=['-g'], # checks we can convert the wast to binary and back print ' (binary format check)' - cmd = WASM_AS + [wast, '-o', 'a.wasm'] + wasm_as_args + cmd = WASM_AS + [wast, '-o', 'a.wasm', '-all'] + wasm_as_args print ' ', ' '.join(cmd) if os.path.exists('a.wasm'): os.unlink('a.wasm') |