MIRI_SYSROOT is no longer needed for development agains a locally built rustc

diff --git a/README.md b/README.md
index 5f8f8fb8502f07036528ee55c5877887e31c5c85..1b9e5304bd0374b3af93d29a43b7d3f9e2ae41bd 100644 (file)
--- a/README.md
+++ b/README.md
@@ -133,9 +133,6 @@ cp config.toml.example config.toml
 rustup toolchain link custom build/x86_64-unknown-linux-gnu/stage2
 # Now cd to your Miri directory, then configure rustup
 rustup override set custom
-# We also need to tell Miri where to find its sysroot. Since we set
-# `test-miri` above, we can just use rustc' sysroot.
-export MIRI_SYSROOT=$(rustc --print sysroot)
 ```
 
 With this, you should now have a working development setup!  See