https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81619
--- Comment #2 from Daniel Villeneuve <dvilleneuve at kronos dot com> --- Created attachment 41865 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41865&action=edit shell script to invoke program in different configurations