From a094296e8b86f34d19c2441bb33d14addf146cfd Mon Sep 17 00:00:00 2001
From: Ben Kimock <kimockb@gmail.com>
Date: Thu, 15 Sep 2022 18:36:33 -0400
Subject: [PATCH] don't use egrep, we don't need it

---
 rustup-toolchain | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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