http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53677
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |WAITING Last reconfirmed| |2012-06-17 CC| |ebotcazou at gcc dot | |gnu.org Ever Confirmed|0 |1 --- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-06-17 07:50:35 UTC --- Feel free to submit a patch if you want this changed. The interesting lines are 2564-2595 in ada/gcc-interface/Makefile.in. Otherwise, I'm afraid nobody will care enough to do it.