wip: does that fix the CI?

hacspec · Jun 13, 2024 · a8a12d8 · a8a12d8
1 parent 6b6b5b3
commit a8a12d8
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/engine/names/extract/build.rs b/engine/names/extract/build.rs
@@ -142,9 +142,6 @@ fn get_json() -> String {
     .stderr(Stdio::piped());
 
     cmd.env("CARGO_TARGET_DIR", target_dir("hax"));
-    for env in ["DYLD_FALLBACK_LIBRARY_PATH", "LD_LIBRARY_PATH"] {
-        cmd.env_remove(env);
-    }
     let out = cmd.output().unwrap();
     let stdout = String::from_utf8(out.stdout).unwrap();
     let stderr = String::from_utf8(out.stderr).unwrap();