From 43100f5f4b8b8c0b437bfe8b380198cb99e62cc3 Mon Sep 17 00:00:00 2001
From: Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Date: Sun, 17 Jul 2022 07:46:02 +0000
Subject: [PATCH] Remove `--offline` from `./miri install` as otherwise we
 can't add more dependencies to miri as CI will fail.

if you want this locally, pass it to your invocation.
---
 miri | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/miri b/miri
index 7b53b802db6..bb2fc5b1231 100755
--- a/miri
+++ b/miri
@@ -133,10 +133,9 @@ find_sysroot() {
 # Run command.
 case "$COMMAND" in
 install)
-    # "--locked" to respect the Cargo.lock file if it exists,
-    # "--offline" to avoid querying the registry (for yanked packages).
-    $CARGO install $CARGO_EXTRA_FLAGS --path "$MIRIDIR" --force --locked --offline "$@"
-    $CARGO install $CARGO_EXTRA_FLAGS --path "$MIRIDIR"/cargo-miri --force --locked --offline "$@"
+    # "--locked" to respect the Cargo.lock file if it exists.
+    $CARGO install $CARGO_EXTRA_FLAGS --path "$MIRIDIR" --force --locked "$@"
+    $CARGO install $CARGO_EXTRA_FLAGS --path "$MIRIDIR"/cargo-miri --force --locked "$@"
     ;;
 check)
     # Check, and let caller control flags.