Skip to content

Commit

Permalink
Auto merge of #3373 - tgolang:master, r=RalfJung
Browse files Browse the repository at this point in the history
chore: remove repetitive word
  • Loading branch information
bors committed Mar 11, 2024
2 parents 81321ad + ff395da commit 6f1fc72
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion cargo-miri/src/phases.rs
Original file line number Diff line number Diff line change
Expand Up @@ -95,7 +95,7 @@ pub fn phase_cargo_miri(mut args: impl Iterator<Item = String>) {
let target = get_arg_flag_value("--target");
let target = target.as_ref().unwrap_or(host);

// If cleaning the the target directory & sysroot cache,
// If cleaning the target directory & sysroot cache,
// delete them then exit. There is no reason to setup a new
// sysroot in this execution.
if let MiriCommand::Clean = subcommand {
Expand Down

0 comments on commit 6f1fc72

Please sign in to comment.