From 07829bc0f09a80d64487318f7e7ad44b701dac8b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 24 Oct 2018 14:08:47 +0200
Subject: [PATCH] don't forget to sync these flags with miri

---
 src/bootstrap/bin/rustc.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/bootstrap/bin/rustc.rs b/src/bootstrap/bin/rustc.rs
index 07a05aeae5d6..344eb789ff60 100644
--- a/src/bootstrap/bin/rustc.rs
+++ b/src/bootstrap/bin/rustc.rs
@@ -253,6 +253,8 @@ fn main() {
 
         // When running miri tests, we need to generate MIR for all libraries
         if env::var("TEST_MIRI").ok().map_or(false, |val| val == "true") {
+            // The flags here should be kept in sync with `add_miri_default_args`
+            // in miri's `src/lib.rs`.
             cmd.arg("-Zalways-encode-mir");
             // These options are preferred by miri, to be able to perform better validation,
             // but the bootstrap compiler might not understand them.