From bf9f26401f8a41880203918ffbbfcac4ae5f16ac Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 28 May 2019 19:20:01 +0200
Subject: [PATCH] also pass flags to install

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

diff --git a/miri b/miri
index 99b64b62028a..64466951e982 100755
--- a/miri
+++ b/miri
@@ -103,7 +103,7 @@ case "$COMMAND" in
 install|install-debug)
     # "--locked" to respect the Cargo.lock file if it exists,
     # "--offline" to avoid querying the registry (for yanked packages).
-    exec cargo install --path "$(dirname "$0")" --force --locked --offline "$@"
+    exec cargo install $CARGO_INSTALL_FLAGS --path "$(dirname "$0")" --force --locked --offline "$@"
     ;;
 build|build-debug)
     # Build, and let caller control flags.