Peter Maydell wrote:
I just don't want a GPLv3-licensed file in the git repo and an integrated part of our build-and-test system...
My kneejerk reaction is that the build procedures in question are large enough that they should stay GPLv3. If you don't want those files in your git repo you can simply fetch them as part of your bootstrap or autogen.sh or whatever. Although this might not mollify people who worry about GPLv3 cooties infecting their executables, catering to paranoia is not high on our list of things to do.
