about summary refs log tree commit diff
diff options
context:
space:
mode:
authorMichael Wright <mikerite@lavabit.com>2019-07-11 05:21:44 +0000
committerMichael Wright <mikerite@lavabit.com>2019-07-11 05:21:44 +0000
commit2c90083f6294f901e2e8b5640cc084feb02431ee (patch)
treee61d19521aa22b0b26e8669ce99f9ebd2f9942ac
parent186b5b2ee2870c4e92b718c53e2814364845e984 (diff)
downloadrust-2c90083f6294f901e2e8b5640cc084feb02431ee.tar.gz
rust-2c90083f6294f901e2e8b5640cc084feb02431ee.zip
Avoid rustfmt bug on Windows
-rw-r--r--clippy_dev/src/fmt.rs6
1 files changed, 5 insertions, 1 deletions
diff --git a/clippy_dev/src/fmt.rs b/clippy_dev/src/fmt.rs
index 72f8d836ee7..5ccdbec1428 100644
--- a/clippy_dev/src/fmt.rs
+++ b/clippy_dev/src/fmt.rs
@@ -44,7 +44,11 @@ pub fn run(check: bool, verbose: bool) {
             let entry = entry?;
             let path = entry.path();
 
-            if path.extension() != Some("rs".as_ref()) || entry.file_name() == "ice-3891.rs" {
+            if path.extension() != Some("rs".as_ref())
+                || entry.file_name() == "ice-3891.rs"
+                // Avoid rustfmt bug rust-lang/rustfmt#1873
+                || cfg!(windows) && entry.file_name() == "implicit_hasher.rs"
+            {
                 continue;
             }