Good thing then that it's not an undocumented API. :-) https://gcc.gnu.org/onlinedocs/gnat_ugn/Output-and-Error-Message-Control.html https://gcc.gnu.org/online

Good thing then that it's not an undocumented API. :-) https://gcc.gnu.org/onlinedocs/gnat_ugn/Output-and-Error-Message-Control.html https://gcc.gnu.org/onlinedocs/gnat_ugn/Output-and-Error-Mes...