Ignore unhelpful Clippy lint in build script

dtolnay · Aug 14, 2021 · b45d649 · b45d649
1 parent 39899cc
commit b45d649
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/build.rs b/build.rs
@@ -1,3 +1,5 @@
+#![allow(clippy::option_if_let_else)]
+
 use std::env;
 use std::fs;
 use std::path::Path;