Merge pull request #1332 from debris/fixed_1331

fixed #1331
This commit is contained in:
Oliver Schneider 2016-11-09 09:25:18 +01:00 committed by GitHub
commit c56b8dff8a

View file

@ -226,9 +226,13 @@ pub fn main() {
// this check ensures that dependencies are built but not linted and the final crate is
// linted but not built
args.extend_from_slice(&["--cfg".to_owned(), r#"feature="cargo-clippy""#.to_owned()]);
let clippy_enabled = env::args().any(|s| s == "-Zno-trans");
let mut ccc = ClippyCompilerCalls::new(env::args().any(|s| s == "-Zno-trans"));
if clippy_enabled {
args.extend_from_slice(&["--cfg".to_owned(), r#"feature="cargo-clippy""#.to_owned()]);
}
let mut ccc = ClippyCompilerCalls::new(clippy_enabled);
let (result, _) = rustc_driver::run_compiler(&args, &mut ccc, None, None);
if let Err(err_count) = result {