nits

egraphs-good · Sep 25, 2024 · 5bf9dee · 5bf9dee
1 parent 4b5769e
commit 5bf9dee
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/build.rs b/build.rs
@@ -1,9 +1,10 @@
 use std::{env, process::Command};
 
+#[allow(clippy::disallowed_macros)] // for println!
 fn main() {
     lalrpop::process_root().unwrap();
     let output = Command::new("git")
-        .args(&["rev-parse", "--short", "HEAD"])
+        .args(["rev-parse", "--short", "HEAD"])
         .output()
         .unwrap();
     let git_hash = String::from_utf8(output.stdout).unwrap();