diff options
| author | Igor Matuszewski <xanewok@gmail.com> | 2023-12-05 12:18:25 +0100 |
|---|---|---|
| committer | Igor Matuszewski <xanewok@gmail.com> | 2023-12-05 12:18:25 +0100 |
| commit | 02f96cc363ab2c7c8ddef26164598db46fcc6b7d (patch) | |
| tree | dbc5979c5ced1b5c720ee958b9719b858ad22fc0 | |
| parent | 02f0bb7df1b1f9b83b8763a308e20cacf2463a65 (diff) | |
| download | rust-02f96cc363ab2c7c8ddef26164598db46fcc6b7d.tar.gz rust-02f96cc363ab2c7c8ddef26164598db46fcc6b7d.zip | |
Fix formatting
| -rw-r--r-- | src/tools/miri/miri-script/src/util.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/miri/miri-script/src/util.rs b/src/tools/miri/miri-script/src/util.rs index d41eaecf207..c9bc55848df 100644 --- a/src/tools/miri/miri-script/src/util.rs +++ b/src/tools/miri/miri-script/src/util.rs @@ -73,7 +73,9 @@ impl MiriEnv { flags.push("-C link-args=-Wl,-rpath,"); flags.push(libdir); // Enable rustc-specific lints (ignored without `-Zunstable-options`). - flags.push(" -Zunstable-options -Wrustc::internal -Wrust_2018_idioms -Wunused_lifetimes"); + flags.push( + " -Zunstable-options -Wrustc::internal -Wrust_2018_idioms -Wunused_lifetimes", + ); // Add user-defined flags. if let Some(value) = std::env::var_os("RUSTFLAGS") { flags.push(" "); |