Stream: git-wasmtime

Topic: wasmtime / PR #2172 Remove unused argument for clif-util ...


view this post on Zulip Wasmtime GitHub notifications bot (Aug 29 2020 at 10:03):

penguin-wwy opened PR #2172 from main to main:

clif-util's subcommand wasm and compile use the same function add_wasm_or_compile to add command line options.

But some of these options are not used in the compile subcommand, so remove them from add_wasm_or_compile.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 31 2020 at 08:43):

bnjbvr submitted PR Review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 31 2020 at 08:43):

bnjbvr merged PR #2172.


Last updated: Nov 22 2024 at 16:03 UTC