Merge pull request #478 from pinkforest/fix-clippy-is-my-bestie

Fix clippy for build.rs
This commit is contained in:
Michael Rosenberg 2022-12-13 16:31:30 -05:00 committed by GitHub
commit 14b04b22d5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -16,6 +16,7 @@ fn lotto_curve25519_dalek_bits() -> DalekBits {
let target_triplet = std::env::var("TARGET").unwrap();
let platform = platforms::Platform::find(&target_triplet).unwrap();
#[allow(clippy::match_single_binding)]
match platform.target_arch {
//Issues: 449 and 456
//TODO(Arm): Needs tests + benchmarks to back this up