Update build.rs

egraphs-good · Oct 2, 2024 · b87504c · b87504c
1 parent c5fa39d
commit b87504c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.rs b/build.rs
@@ -3,7 +3,7 @@ use std::{env, process::Command};
 #[allow(clippy::disallowed_macros)] // for println!
 fn main() {
     lalrpop::process_root().unwrap();
-    let git_hash = Command::new("git2")
+    let git_hash = Command::new("git")
         .args(["rev-parse", "--short", "HEAD"])
         .output()
         .map(|output| {