From 59c31d319ae376dcb1c6757e99eb059c27c7d00b Mon Sep 17 00:00:00 2001 From: Oliver Schneider Date: Wed, 17 Aug 2016 18:26:58 +0200 Subject: [PATCH] plugin mode still needs to work --- src/lib.rs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/lib.rs b/src/lib.rs index cd91b85e59b..5a02b514812 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -2,6 +2,7 @@ #![feature(plugin_registrar)] #![feature(rustc_private)] #![allow(unknown_lints)] +#![feature(borrow_state)] extern crate rustc_plugin; use rustc_plugin::Registry; @@ -12,7 +13,7 @@ pub use clippy_lints::*; #[plugin_registrar] pub fn plugin_registrar(reg: &mut Registry) { - if reg.sess.lint_store.borrow().get_lint_groups().iter().any(|&(s, _, _)| s == "clippy") { + if reg.sess.lint_store.borrow_state() == std::cell::BorrowState::Unused && reg.sess.lint_store.borrow().get_lint_groups().iter().any(|&(s, _, _)| s == "clippy") { reg.sess.struct_warn("running cargo clippy on a crate that also imports the clippy plugin").emit(); } else { register_plugins(reg);