mirror of
https://github.com/openai/codex.git
synced 2026-09-11 20:36:49 +00:00
This commit is contained in:
@@ -71,6 +71,7 @@ single_version_override(
|
||||
patch_strip = 1,
|
||||
patches = [
|
||||
"//patches:rules_rs_windows_gnullvm_exec.patch",
|
||||
"//patches:rules_rs_delete_git_worktree_pointer.patch",
|
||||
],
|
||||
version = "0.0.43",
|
||||
)
|
||||
|
||||
@@ -10,6 +10,7 @@ exports_files([
|
||||
"rules_rust_repository_set_exec_constraints.patch",
|
||||
"rules_rust_windows_msvc_direct_link_args.patch",
|
||||
"rules_rust_windows_gnullvm_build_script.patch",
|
||||
"rules_rs_delete_git_worktree_pointer.patch",
|
||||
"rules_rs_windows_gnullvm_exec.patch",
|
||||
"rusty_v8_prebuilt_out_dir.patch",
|
||||
"v8_bazel_rules.patch",
|
||||
|
||||
23
patches/rules_rs_delete_git_worktree_pointer.patch
Normal file
23
patches/rules_rs_delete_git_worktree_pointer.patch
Normal file
@@ -0,0 +1,23 @@
|
||||
# What: delete .git worktree pointer from crate git checkouts.
|
||||
# Why: the .git file contains an absolute path to the bazel output base,
|
||||
# which differs across machines. This pollutes compile_data and causes
|
||||
# action cache misses when builds run on different CI runners.
|
||||
|
||||
diff --git a/rs/private/crate_git_repository.bzl b/rs/private/crate_git_repository.bzl
|
||||
index 1234567..abcdefg 100644
|
||||
--- a/rs/private/crate_git_repository.bzl
|
||||
+++ b/rs/private/crate_git_repository.bzl
|
||||
@@ -35,6 +35,11 @@ def _crate_git_repository_implementation(rctx):
|
||||
"HEAD"
|
||||
])
|
||||
if result.return_code != 0:
|
||||
fail(result.stderr)
|
||||
|
||||
+ # Remove .git worktree pointer file. It contains an absolute path to
|
||||
+ # the bazel output base which is machine-specific and non-deterministic.
|
||||
+ # Leaving it in pollutes compile_data globs and causes AC misses.
|
||||
+ rctx.delete(root.get_child(".git"))
|
||||
+
|
||||
if strip_prefix:
|
||||
dest_link = dest_dir.get_child(strip_prefix)
|
||||
if not dest_link.exists:
|
||||
Reference in New Issue
Block a user