diff options
Diffstat (limited to 'scripts/update_help_checks.py')
| -rwxr-xr-x | scripts/update_help_checks.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/update_help_checks.py b/scripts/update_help_checks.py index e439b2ecc..1756a0686 100755 --- a/scripts/update_help_checks.py +++ b/scripts/update_help_checks.py @@ -27,7 +27,7 @@ test_dir = os.path.join(root_dir, 'test', 'lit', 'help') TOOLS = ['wasm-opt', 'wasm-as', 'wasm-dis', 'wasm2js', 'wasm-ctor-eval', 'wasm-shell', 'wasm-reduce', 'wasm-metadce', 'wasm-split', - 'wasm-fuzz-types', 'wasm-emscripten-finalize'] + 'wasm-fuzz-types', 'wasm-emscripten-finalize', 'wasm-merge'] def main(): |