From 005791b33f3f7a0f725065d580b89f0286c31236 Mon Sep 17 00:00:00 2001
From: Manish Goregaokar <manishsmail@gmail.com>
Date: Thu, 18 Jan 2018 11:02:32 +0530
Subject: [PATCH] add target/ to ignored tidy dirs

---
 src/tools/tidy/src/lib.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tools/tidy/src/lib.rs b/src/tools/tidy/src/lib.rs
index 61d71986b03eb..eee2902bfb6f7 100644
--- a/src/tools/tidy/src/lib.rs
+++ b/src/tools/tidy/src/lib.rs
@@ -69,6 +69,7 @@ fn filter_dirs(path: &Path) -> bool {
         "src/tools/miri",
         "src/librustc/mir/interpret",
         "src/librustc_mir/interpret",
+        "src/target",
     ];
     skip.iter().any(|p| path.ends_with(p))
 }