Make clippy an optional dependency

2016-02-13 02:31:23 +05:30
parent 50b6c6d4ad
commit 8802fb2fd8
12 changed files with 28 additions and 19 deletions
--- a/util/src/lib.rs
+++ b/util/src/lib.rs
@@ -18,10 +18,10 @@
 #![feature(op_assign_traits)]
 #![feature(augmented_assignments)]
 #![feature(associated_consts)]
-#![feature(plugin)]
+#![cfg_attr(feature="dev", feature(plugin))]
+#![cfg_attr(feature="dev", plugin(clippy))]
 #![feature(catch_panic)]
 // Clippy settings
-#![plugin(clippy)]
 // TODO [todr] not really sure
 #![allow(needless_range_loop)]
 // Shorter than if-else