<i18n dev> Integrated: 8314483: Optionally override copyright header in generated source

[Erik Joelsson]

On Fri, 18 Aug 2023 14:22:49 GMT, Erik Joelsson <erikj at 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 <erikj at 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