https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63656
Arkadiusz Miskiewicz arekm at maven dot pl changed:
What|Removed |Added
Status|NEW |RESOLVED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63656
--- Comment #3 from Eric Botcazou ebotcazou at gcc dot gnu.org ---
Hm, isn't it already selected properly?
Apparently so, yes.
a bit more of log:
http://ixion.pld-linux.org/~arekm/gcc-ada-log1.txt
and full log:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63656
--- Comment #2 from Arkadiusz Miskiewicz arekm at maven dot pl ---
Hm, isn't it already selected properly?
--- gcc-4.9.2/gcc/ada/gcc-interface/Makefile.in~2014-11-01
15:07:27.0 +0100
+++
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63656
Eric Botcazou ebotcazou at gcc dot gnu.org changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last
