https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102067
--- Comment #2 from Matt Godbolt <matt at godbolt dot org> --- Hi Martin! Thanks for the quick reply. We don't have an easy way to do this in our current setup: those files are built and published as a library by a different system. We'll give it a go though.