diff options
| author | bors <bors@rust-lang.org> | 2023-08-04 06:16:02 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-08-04 06:16:02 +0000 |
| commit | 646f5643aba41e0dfd62fc9d5cdfa955e4e6fa2a (patch) | |
| tree | 99111781c38cd4bc3d8104201c2346b6c2c30c7d /src/tools/miri/miri-script | |
| parent | 15c05fe25f48ddd2ee0efdc1ac9d24af473769b4 (diff) | |
| parent | 3df2884c52f72425f888841f27e2b5dc7df87e1c (diff) | |
| download | rust-646f5643aba41e0dfd62fc9d5cdfa955e4e6fa2a.tar.gz rust-646f5643aba41e0dfd62fc9d5cdfa955e4e6fa2a.zip | |
Auto merge of #3011 - saethlin:spellck, r=RalfJung
A bit of spell-checking I noticed the one error in miri-script and took care of a few more shallow ones.
Diffstat (limited to 'src/tools/miri/miri-script')
| -rw-r--r-- | src/tools/miri/miri-script/src/commands.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/miri-script/src/commands.rs b/src/tools/miri/miri-script/src/commands.rs index 8e3e82854bf..fe66f1a9bdb 100644 --- a/src/tools/miri/miri-script/src/commands.rs +++ b/src/tools/miri/miri-script/src/commands.rs @@ -33,7 +33,7 @@ impl MiriEnv { Err(_) => vec![], }; if !quiet { - eprintln!("$ (buildig Miri sysroot)"); + eprintln!("$ (building Miri sysroot)"); } let output = cmd!(self.sh, "cargo +{toolchain} --quiet run {cargo_extra_flags...} --manifest-path {manifest_path} -- |