summaryrefslogtreecommitdiff
path: root/src/tools
diff options
context:
space:
mode:
authorJérôme Vouillon <jerome.vouillon@gmail.com>2024-07-17 11:30:07 -0400
committerGitHub <noreply@github.com>2024-07-17 08:30:07 -0700
commit994d8d31381dbc9dbaa89809c75b2c8d804e0d7f (patch)
tree01bc83b44773f16bdfce8bceb5977da9f153a483 /src/tools
parent6d2bef3ff80bb96455207852d506c5bf12a6a851 (diff)
downloadbinaryen-994d8d31381dbc9dbaa89809c75b2c8d804e0d7f.tar.gz
binaryen-994d8d31381dbc9dbaa89809c75b2c8d804e0d7f.tar.bz2
binaryen-994d8d31381dbc9dbaa89809c75b2c8d804e0d7f.zip
Make it possible to skip several passes (#6714)
--skip-pass can now be specified more than once on the commandline.
Diffstat (limited to 'src/tools')
-rw-r--r--src/tools/optimization-options.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/optimization-options.h b/src/tools/optimization-options.h
index f04b73211..333380d04 100644
--- a/src/tools/optimization-options.h
+++ b/src/tools/optimization-options.h
@@ -311,7 +311,7 @@ struct OptimizationOptions : public ToolOptions {
"-sp",
"Skip a pass (do not run it)",
OptimizationOptionsCategory,
- Options::Arguments::One,
+ Options::Arguments::N,
[this](Options*, const std::string& pass) {
passOptions.passesToSkip.insert(pass);
});