diff options
author | Ben Smith <binjimin@gmail.com> | 2018-01-24 17:31:48 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-24 17:31:48 -0800 |
commit | 207be26047494412c54a7c7a36ace690e6da6a7e (patch) | |
tree | c103dc63166e40047f7d2ebf51dfebd1468278e5 /test/run-tests.py | |
parent | 7360bc9536203d949b7f11872e51252ae04cb366 (diff) | |
download | wabt-207be26047494412c54a7c7a36ace690e6da6a7e.tar.gz wabt-207be26047494412c54a7c7a36ace690e6da6a7e.tar.bz2 wabt-207be26047494412c54a7c7a36ace690e6da6a7e.zip |
Replace `run-opcodecnt.py` with `RUN` commands (#733)
Diffstat (limited to 'test/run-tests.py')
-rwxr-xr-x | test/run-tests.py | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/test/run-tests.py b/test/run-tests.py index 2ca96e36..85068b95 100755 --- a/test/run-tests.py +++ b/test/run-tests.py @@ -122,14 +122,8 @@ TOOLS = { ('VERBOSE-ARGS', ['--print-cmd', '-v']), ], 'run-opcodecnt': [ - ('RUN', 'test/run-opcodecnt.py'), - ('ARGS', [ - '%(in_file)s', - '--bindir=%(bindir)s', - '--no-error-cmdline', - '-o', - '%(out_dir)s', - ]), + ('RUN', '%(wat2wasm)s %(in_file)s -o %(temp_file)s.wasm'), + ('RUN', '%(wasm-opcodecnt)s %(temp_file)s.wasm'), ('VERBOSE-ARGS', ['--print-cmd', '-v']), ], 'run-gen-spec-js': [ |