Skip to content

Add ability to override serial number#176

Merged
dstelzer merged 4 commits intomainfrom
override-serial
Mar 2, 2026
Merged

Add ability to override serial number#176
dstelzer merged 4 commits intomainfrom
override-serial

Conversation

@dstelzer
Copy link
Copy Markdown
Contributor

I have my misgivings about this, but I do understand the need for reproducible build processes.

New option --override-serial YYYY-MM-DD will set the Å-machine release date to YYYY-MM-DD and the Z-machine serial number to YYMMDD. Nothing stops you from putting nonsense in these fields; the consequences of doing so are entirely on you.

Using this option also produces a warning:

Warning: Release date has been set to "0123456789" and serial number has been set to "235689". This is not recommended, and should only be used when necessary for reproducible builds.

@dstelzer dstelzer merged commit 5305c5e into main Mar 2, 2026
4 checks passed
@dstelzer dstelzer deleted the override-serial branch March 2, 2026 23:04
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