> However, it seems that the first androideabi snippet was dead code.
> Can you delete it in a follow-up?
No, it's not dead code, just broken at the moment, now fixed by:
2013-05-30 Eric Botcazou <ebotca...@adacore.com>
* gcc-interface/Makefile.in (arm% androideabi): Robustify.
--
Eric Botcazou
Index: gcc-interface/Makefile.in
===================================================================
--- gcc-interface/Makefile.in (revision 199343)
+++ gcc-interface/Makefile.in (working copy)
@@ -995,7 +995,7 @@ ifeq ($(strip $(filter-out mips% wrs vx%
EXTRA_LIBGNAT_OBJS+=vx_stack_info.o
endif
-ifeq ($(strip $(filter-out arm% linux-androideabi,$(arch) $(osys)-$(word 4,$(targ)))),)
+ifeq ($(strip $(filter-out arm% androideabi,$(arch) $(osys))),)
LIBGNAT_TARGET_PAIRS = \
a-intnam.ads<a-intnam-linux.ads \
s-inmaop.adb<s-inmaop-posix.adb \