diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2018-01-20 22:32:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-01-20 22:32:46 +0100 |
| commit | 0f84ab4a414aaaf97d70e2484d205495d2300e60 (patch) | |
| tree | c4684f3f94edb2de5d6cc3ae4373b2eb8d811a40 /src | |
| parent | b21499e76875ff224b2555c042815efca08237b3 (diff) | |
| parent | 005791b33f3f7a0f725065d580b89f0286c31236 (diff) | |
| download | rust-0f84ab4a414aaaf97d70e2484d205495d2300e60.tar.gz rust-0f84ab4a414aaaf97d70e2484d205495d2300e60.zip | |
Rollup merge of #47535 - Manishearth:ignore-target, r=kennytm
add target/ to ignored tidy dirs Sometimes you get a target directory from running cargo in the rust repo (the root is `src/`), and it contains generated files. Just whitelist it since it causes tidy to spew warnings uncontrollably.
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/tidy/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/tidy/src/lib.rs b/src/tools/tidy/src/lib.rs index 61d71986b03..eee2902bfb6 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)) } |