On Fri, 6 Dec 2024, Thomas Schwinge wrote: > First: Tom, what was your original intention why we'd keep the generated > files in the sources? (..., instead of just generating them at build > time, like 'gcc/config/nvptx/t-omp-device' does for > 'omp-device-properties-nvptx', for example. In that case, we could just > skip adding these copyright/licensing headers.)
For .opt files: they are processed by po/exgettext (for all targets, not just the currently configured one) when generating gcc.pot, and likewise by regenerate-opt-urls.py. So target-specific build logic for generating such files would be a problem. -- Joseph S. Myers josmy...@redhat.com