diff options
Diffstat (limited to 'test/run-wasm-link.py')
| -rwxr-xr-x | test/run-wasm-link.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/run-wasm-link.py b/test/run-wasm-link.py index f5f094c2..e138ba08 100755 --- a/test/run-wasm-link.py +++ b/test/run-wasm-link.py @@ -92,10 +92,10 @@ def main(args): os.rename(output, partialy_linked) wasm_link.RunWithArgs('-o', output, partialy_linked, f) #wasmdump.RunWithArgs('-d', '-h', output) - wasmdump.RunWithArgs('-d', '-v', '-h', output) + wasmdump.RunWithArgs('-d', '-x', '-h', output) else: wasm_link.RunWithArgs('-o', output, *wasm_files) - wasmdump.RunWithArgs('-d', '-h', '-v', output) + wasmdump.RunWithArgs('-d', '-x', '-h', output) if __name__ == '__main__': |