From 2c39999f2b71e0e3e1ace58814b62091ffaba647 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Wed, 29 Jun 2022 09:38:39 -0700
Subject: [PATCH] Install rust-src component by default for miri toolchain
---
scripts/update-revs.sh | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/scripts/update-revs.sh b/scripts/update-revs.sh
index e3e6e33..29fba00 100755
--- a/scripts/update-revs.sh
+++ b/scripts/update-revs.sh
@@ -34,7 +34,9 @@ for tool in clippy miri; do
echo "Updating $tool branch"
git checkout --quiet --detach nightly
git branch --quiet --delete --force $tool &>/dev/null || true
- sed -i "/required: false/{N;s/\n$/\n default: $tool\n/}" action.yml
+ default=$tool
+ if [ $tool == miri ]; then default+=,\ rust-src; fi
+ sed -i "/required: false/{N;s/\n$/\n default: $default\n/}" action.yml
git add action.yml
git commit --quiet --message "components: $tool"
git checkout --quiet -b $tool