From add0c766325fe3dbc70bc82ff73bbd10419e62a2 Mon Sep 17 00:00:00 2001
From: David Tolnay <dtolnay@gmail.com>
Date: Wed, 29 Jun 2022 10:13:55 -0700
Subject: [PATCH] Install xargo with miri toolchain

---
 scripts/update-revs.sh | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/scripts/update-revs.sh b/scripts/update-revs.sh
index 29fba00..6dce57b 100755
--- a/scripts/update-revs.sh
+++ b/scripts/update-revs.sh
@@ -34,9 +34,13 @@ for tool in clippy miri; do
     echo "Updating $tool branch"
     git checkout --quiet --detach nightly
     git branch --quiet --delete --force $tool &>/dev/null || true
-    default=$tool
-    if [ $tool == miri ]; then default+=,\ rust-src; fi
-    sed -i "/required: false/{N;s/\n$/\n    default: $default\n/}" action.yml
+    if [ $tool == miri ]; then
+        default="miri, rust-src"
+        echo -e "    - uses: dtolnay/install@xargo\n      with:\n        bin: xargo-check" >> action.yml
+    else
+        default=$tool
+    fi
+    sed -i "/required: false/{N;s/\n$/\n    default: $tool\n/}" action.yml
     git add action.yml
     git commit --quiet --message "components: $tool"
     git checkout --quiet -b $tool