diff --git a/src/tools/compiletest/src/header.rs b/src/tools/compiletest/src/header.rs index eeb280e1de36c..e9b853722c2d3 100644 --- a/src/tools/compiletest/src/header.rs +++ b/src/tools/compiletest/src/header.rs @@ -14,7 +14,7 @@ use std::io::prelude::*; use std::io::BufReader; use std::path::{Path, PathBuf}; -use common::{self, Config, Mode}; +use common::{self, CompareMode, Config, Mode}; use util; use extract_gdb_version; @@ -608,7 +608,12 @@ impl Config { common::DebugInfoLldb => name == "lldb", common::Pretty => name == "pretty", _ => false, - } || (self.target != self.host && name == "cross-compile") + } || (self.target != self.host && name == "cross-compile") || + match self.compare_mode { + Some(CompareMode::Nll) => name == "compare-mode-nll", + Some(CompareMode::Polonius) => name == "compare-mode-polonius", + None => false, + } } else { false }