Make it possible to rebuild an identical copy from a release tarball. It was previously only possible from a checked out git repository. - add release-tools.sh to dist - keep Makefile.dist around to include it in dist - regenerate tool_huge.c with the new version in dist - fix the dist CI job to not do make clean like before Closes #14336 |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| scripts | ||
| workflows | ||
| CODEOWNERS | ||
| CONTRIBUTING.md | ||
| dependabot.yml | ||
| FUNDING.yml | ||
| labeler.yml | ||
| lock.yml | ||
| stale.yml | ||