On Sat, 28 Nov 2020 23:14:35 GMT, Emmanuel Bourg <d...@openjdk.java.net> wrote:
> The copyright headers are generated at build time, and the year inserted in > the template depends on the current date. This means the headers are not > reproducible if the project is built a year later. The year in the headers > could be derived from the SOURCE_DATE_EPOCH environment variable to make the > build reproducible (this variable is already used in other parts of the > build). I'm impressed you noticed this! Do you test reproducibility by changing the date drastically? I agree that the gensrc files should be fixed. However, we already have a configure option `--with-copyright-year` and I think the correct solution is to propagate that value into the Java tools that creates the source code. I can't set the issue for you, but if you prepend "8275745: " to the PR title, things will work out. ------------- PR: https://git.openjdk.java.net/jdk/pull/1498
