From: Ralf Jung <post@ralfj.de>
Date: Sat, 23 Jan 2021 15:54:00 +0000 (+0100)
Subject: expand README
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=4a13f24839b2e0fdbf356530d5569a8e322c39d7;p=rust.git

expand README
---

diff --git a/README.md b/README.md
index fdf45951c6f..f4a762937ec 100644
--- a/README.md
+++ b/README.md
@@ -286,6 +286,8 @@ different Miri binaries, and as such worth documenting:
   directory after loading all the source files, but before commencing
   interpretation. This is useful if the interpreted program wants a different
   working directory at run-time than at build-time.
+* `MIRI_VERBOSE` when set to any value tells the various `cargo-miri` phases to
+  perform verbose logging.
   
 [testing-miri]: CONTRIBUTING.md#testing-the-miri-driver