Skip to content

Commit

Permalink
Fix formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
Xanewok committed Dec 5, 2023
1 parent e49866a commit dc32d58
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion miri-script/src/util.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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(" ");
Expand Down

0 comments on commit dc32d58

Please sign in to comment.