From f28772f968a4bea1484376f6baf7daa39778cf5e Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 1 Sep 2023 08:30:31 +0200 Subject: [PATCH] add '--skip-children' to rustfmt invocation --- src/tools/miri/miri-script/src/commands.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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} ...");