Move 'core' directory prefix (#4311)

This fixes a bit of sloppiness from #4305, the prefix should really be
specified in one place.
This commit is contained in:
Jon Ross-Perkins
2024-09-13 18:52:10 +00:00
committed by GitHub
parent 1b956e68fe
commit 8b92b996b1
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -35,7 +35,7 @@ write_file(
symlink_filegroup(
name = "symlink_core",
srcs = ["//core:prelude"],
out_prefix = "prefix_root/lib/carbon/",
out_prefix = "prefix_root/lib/carbon/core/",
visibility = ["//visibility:private"],
)
+1 -1
View File
@@ -13,7 +13,7 @@ def _symlink_filegroup_impl(ctx):
# consistent paths across possible repositories.
relative_path = f.short_path.removeprefix(f.owner.package)
out = ctx.actions.declare_file(prefix + "core/" + relative_path)
out = ctx.actions.declare_file(prefix + relative_path)
outputs.append(out)
ctx.actions.symlink(output = out, target_file = f)