diff options
author | Soni L <EnderMoneyMod@gmail.com> | 2023-09-19 20:30:36 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-09-19 16:30:36 -0700 |
commit | dddc03d3bc4df2bca26a880e8f078f84ea3d2454 (patch) | |
tree | 372ff1087b535c52b122941983a584b47241fae4 /scripts/help2man.lua | |
parent | 3b108c1d1dc2d633b5d5842321e9c5b2bdcea413 (diff) | |
download | wabt-dddc03d3bc4df2bca26a880e8f078f84ea3d2454.tar.gz wabt-dddc03d3bc4df2bca26a880e8f078f84ea3d2454.tar.bz2 wabt-dddc03d3bc4df2bca26a880e8f078f84ea3d2454.zip |
Rename wasm-opcodecnt to wasm-stats (#2298)
Diffstat (limited to 'scripts/help2man.lua')
-rw-r--r-- | scripts/help2man.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/help2man.lua b/scripts/help2man.lua index ed128b0c..ab23733e 100644 --- a/scripts/help2man.lua +++ b/scripts/help2man.lua @@ -2,7 +2,7 @@ local format_br = '\n.br\n' local tools = { - "wasm-decompile", "wasm-interp", "wasm-objdump", "wasm-opcodecnt", + "wasm-decompile", "wasm-interp", "wasm-objdump", "wasm-stats", "wasm-strip", "wasm-validate", "wasm2c", "wasm2wat", "wast2json", "wat-desugar", "wat2wasm", "spectest-interp" } |