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 670d41d30..b46a21175 100644 --- a/scripts/test/shared.py +++ b/scripts/test/shared.py @@ -466,7 +466,7 @@ def binary_format_check(wast, verify_final_result=True, wasm_as_args=['-g'], subprocess.check_call(cmd, stdout=subprocess.PIPE) assert os.path.exists('a.wasm') - cmd = WASM_DIS + ['a.wasm', '-o', 'ab.wast'] + cmd = WASM_DIS + ['a.wasm', '-o', 'ab.wast', '-all'] print(' ', ' '.join(cmd)) if os.path.exists('ab.wast'): os.unlink('ab.wast') |