Skip to content

Restore Zig dist target#2745

Merged
plajjan merged 1 commit into
mainfrom
restore-zig-dist-target
Apr 29, 2026
Merged

Restore Zig dist target#2745
plajjan merged 1 commit into
mainfrom
restore-zig-dist-target

Conversation

@plajjan

@plajjan plajjan commented Apr 29, 2026

Copy link
Copy Markdown
Contributor

The Zig extraction rule was changed to build the dist/zig/zig binary directly. That made make compare the downloaded tarball against the executable timestamp restored from the archive, so the target could appear stale on every invocation after the tarball was downloaded.

Use the dist/zig directory as the distribution target again. Its timestamp reflects the local extraction, while the ZIG variable still points callers at the executable inside that directory.

The Zig extraction rule was changed to build the dist/zig/zig
binary directly. That made make compare the downloaded tarball
against the executable timestamp restored from the archive, so the
target could appear stale on every invocation after the tarball was
downloaded.

Use the dist/zig directory as the distribution target again. Its
timestamp reflects the local extraction, while the ZIG variable still
points callers at the executable inside that directory.
@plajjan plajjan enabled auto-merge April 29, 2026 21:15

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 3e83bc0b9b

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread Makefile
@plajjan plajjan merged commit 5cb158a into main Apr 29, 2026
44 of 45 checks passed
@plajjan plajjan deleted the restore-zig-dist-target branch April 29, 2026 21:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant