From 86c57a8490ba6d06e284865adc33af7f4ebdb887 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 6 Apr 2020 09:33:36 +0200
Subject: [PATCH] mention ./miri build

---
 CONTRIBUTING.md | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index c7bfe6ccf1c1..3967ca05f924 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -28,6 +28,15 @@ install that exact version of rustc as a toolchain:
 
 [`rustup-toolchain-install-master`]: https://github.com/kennytm/rustup-toolchain-install-master
 
+Now building Miri is just one command away:
+
+```
+./miri build
+```
+
+Run `./miri` without arguments to see the other commands our build tool
+supports.
+
 ### Fixing Miri when rustc changes
 
 Miri is heavily tied to rustc internals, so it is very common that rustc changes