Fix opt_level setting passed to cranelift
With 92a19e9398 the optimisation levels of cranelift were renamed, without this change trying to use the -o flag on wasmtime runtime results in "error: Unexpected value for a setting, expected any among none, speed, speed_and_size".
"best" was renamed "speed_and_size", although I think "speed" is more adapted to wastime.
Bye,
JB.
This commit is contained in:
committed by
Dan Gohman
parent
406bc7895a
commit
e1b9c01d94
@@ -278,7 +278,7 @@ fn rmain() -> Result<(), Error> {
|
||||
|
||||
// Enable optimization if requested.
|
||||
if args.flag_optimize {
|
||||
flag_builder.set("opt_level", "best")?;
|
||||
flag_builder.set("opt_level", "speed")?;
|
||||
}
|
||||
|
||||
let config = Config::new(settings::Flags::new(flag_builder), features, debug_info);
|
||||
|
||||
Reference in New Issue
Block a user