diff options
| author | Ralf Jung <post@ralfj.de> | 2023-09-01 08:30:31 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-09-01 08:30:31 +0200 |
| commit | f28772f968a4bea1484376f6baf7daa39778cf5e (patch) | |
| tree | 09464a8fad1ff76912a03e8dfe1a1d4f05433df6 /src | |
| parent | a346b299d310e20095ba4aa5275c852b6321ae85 (diff) | |
add '--skip-children' to rustfmt invocation
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/miri-script/src/commands.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/miri-script/src/commands.rs b/src/tools/miri/miri-script/src/commands.rs index 2948219ad89..b7031d9a3ee 100644 --- a/src/tools/miri/miri-script/src/commands.rs +++ b/src/tools/miri/miri-script/src/commands.rs @@ -510,7 +510,7 @@ impl Command { let mut cmd = cmd!( e.sh, - "rustfmt +{toolchain} --edition=2021 --config-path {config_path} {flags...}" + "rustfmt +{toolchain} --edition=2021 --config-path {config_path} --unstable-features --skip-children {flags...}" ); eprintln!("$ {cmd} ..."); |