From dddc03d3bc4df2bca26a880e8f078f84ea3d2454 Mon Sep 17 00:00:00 2001 From: Soni L Date: Tue, 19 Sep 2023 20:30:36 -0300 Subject: Rename wasm-opcodecnt to wasm-stats (#2298) --- scripts/help2man.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts/help2man.lua') 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" } -- cgit v1.2.3