update build.rs

Zokrates · Jan 11, 2022 · 97f2b96 · 97f2b96
1 parent 0ad4bbe
commit 97f2b96
Showing 1 changed file with 6 additions and 3 deletions.
diff --git a/zokrates_core/build.rs b/zokrates_core/build.rs
@@ -26,10 +26,13 @@ fn main() {
         });
 
         let commit = Oid::from_str(LIBSNARK_COMMIT).unwrap();
-        let commit = repo.find_commit(commit).unwrap();
+        let head = repo.head().unwrap();
 
-        repo.reset(&commit.as_object(), ResetType::Hard, None)
-            .unwrap();
+        if commit.ne(&head.target().unwrap()) {
+            let commit = repo.find_commit(commit).unwrap();
+            repo.reset(&commit.as_object(), ResetType::Hard, None)
+                .unwrap();
+        }
 
         for mut s in repo.submodules().unwrap() {
             s.update(true, None).unwrap();