add '--skip-children' to rustfmt invocation

2023-09-01 08:30:31 +02:00 · 2023-09-01 08:30:31 +02:00 · f28772f968
commit f28772f968
parent a346b299d3
1 changed files with 1 additions and 1 deletions
--- 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} ...");