add target/ to ignored tidy dirs

Manishearth · Manishearth · commit 005791b33f3f · 2018-01-18T14:35:01.000+05:30
diff --git 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))
 }

Original file line number	Diff line number	Diff line change
`@@ -69,6 +69,7 @@ fn filter_dirs(path: &Path) -> bool {`
`69`	`69`	`"src/tools/miri",`
`70`	`70`	`"src/librustc/mir/interpret",`
`71`	`71`	`"src/librustc_mir/interpret",`
	`72`	`+ "src/target",`
`72`	`73`	`];`
`73`	`74`	`skip.iter().any(\|p\| path.ends_with(p))`
`74`	`75`	`}`