diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2023-01-27 18:13:17 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-27 18:13:17 -0500 |
commit | 9ad1d8f0b47164ebf35eed2bfe09d4c348f96fe8 (patch) | |
tree | 57e844563692ed4e80dc45c05f0c880fcc7ce6d8 /build.rs | |
parent | 32434932a64e014b1925433ced8bfcadb59f8a77 (diff) |
other: ignore uninlined_format_args clippy lint for now (#1004)
Diffstat (limited to 'build.rs')
-rw-r--r-- | build.rs | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -13,8 +13,7 @@ fn create_dir(dir: &Path) -> io::Result<()> { Ok(()) => {} Err(err) => { eprintln!( - "Failed to create a directory at location {:?}, encountered error {:?}. Aborting...", - dir, err + "Failed to create a directory at location {dir:?}, encountered error {err:?}. Aborting...", ); } } |