diff options
| author | Ben Kimock <kimockb@gmail.com> | 2022-09-15 18:36:33 -0400 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2022-09-15 18:36:33 -0400 |
| commit | a094296e8b86f34d19c2441bb33d14addf146cfd (patch) | |
| tree | 7cf731707919bece3af897b0b9a4d4bd94b4a9a2 | |
| parent | 2f1fa12659ac6b852a9dec46b79a0b02736f4e44 (diff) | |
| download | rust-a094296e8b86f34d19c2441bb33d14addf146cfd.tar.gz rust-a094296e8b86f34d19c2441bb33d14addf146cfd.zip | |
don't use egrep, we don't need it
| -rwxr-xr-x | rustup-toolchain | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rustup-toolchain b/rustup-toolchain index 7b9a17145d0..d7730f2b06d 100755 --- a/rustup-toolchain +++ b/rustup-toolchain @@ -33,7 +33,7 @@ echo "$NEW_COMMIT" > rust-version shift || true # don't fail if shifting fails # Check if we already are at that commit. -CUR_COMMIT=$(rustc +miri --version -v 2>/dev/null | egrep "^commit-hash: " | cut -d " " -f 2) +CUR_COMMIT=$(rustc +miri --version -v 2>/dev/null | grep "^commit-hash: " | cut -d " " -f 2) if [[ "$CUR_COMMIT" == "$NEW_COMMIT" ]]; then echo "miri toolchain is already at commit $CUR_COMMIT." rustup override set miri |