We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 2f1fa12 commit a094296Copy full SHA for a094296
rustup-toolchain
@@ -33,7 +33,7 @@ echo "$NEW_COMMIT" > rust-version
33
shift || true # don't fail if shifting fails
34
35
# Check if we already are at that commit.
36
-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)
37
if [[ "$CUR_COMMIT" == "$NEW_COMMIT" ]]; then
38
echo "miri toolchain is already at commit $CUR_COMMIT."
39
rustup override set miri
0 commit comments