https://gcc.gnu.org/bugzilla/show_bug.cgi?id=126209
--- Comment #1 from Stefan Heinzmann <stefan_heinzmann at gmx dot de> --- Created attachment 64995 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=64995&action=edit Python script to generate source file set
