From 759d55994ab22ce2e34dbe453cc0892c8e437d09 Mon Sep 17 00:00:00 2001 From: Luke Street Date: Tue, 18 Jun 2024 21:49:19 -0600 Subject: [PATCH] Fix clippy warning --- objdiff-gui/src/jobs/objdiff.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/objdiff-gui/src/jobs/objdiff.rs b/objdiff-gui/src/jobs/objdiff.rs index cf492ef..cd89087 100644 --- a/objdiff-gui/src/jobs/objdiff.rs +++ b/objdiff-gui/src/jobs/objdiff.rs @@ -40,6 +40,7 @@ pub struct BuildConfig { pub project_dir: Option, pub custom_make: Option, pub custom_args: Option>, + #[allow(unused)] pub selected_wsl_distro: Option, }