http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60411
--- Comment #8 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Author: ebotcazou Date: Tue Apr 8 08:23:56 2014 New Revision: 209210 URL: http://gcc.gnu.org/viewcvs?rev=209210&root=gcc&view=rev Log: PR ada/60411 * gcc-interface/Makefile.in (arm% linux-android): Switch to EHABI. * s-linux-android.ads: New file. * s-intman-android.adb: Likewise. Added: trunk/gcc/ada/s-intman-android.adb trunk/gcc/ada/s-linux-android.ads Modified: trunk/gcc/ada/ChangeLog trunk/gcc/ada/gcc-interface/Makefile.in