On Fri, 18 Aug 2023 14:22:49 GMT, Erik Joelsson <er...@openjdk.org> wrote:
> In the JDK build we have various build tools that generate source code from > data files. For most of these tools, the source files are based on template > files, which already have copyright headers, but for some, the complete > source file is generated by the tool, which is providing the copyright header > programatically. For the latter, we would like to implement an override > mechanism in each tool so that we can change the copyright header from a > custom makefile. This pull request has now been integrated. Changeset: 837d2e1c Author: Erik Joelsson <er...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/837d2e1cac7e006506cd4cff03862d7fbcd42140 Stats: 46 lines in 4 files changed: 37 ins; 1 del; 8 mod 8314483: Optionally override copyright header in generated source Reviewed-by: dholmes, iris ------------- PR: https://git.openjdk.org/jdk/pull/15346