Hi! On Fri, 31 May 2013 13:14:39 +0200, Eric Botcazou <ebotca...@adacore.com> wrote: > > Do you mean arm-linux-androideabi, or arm-none-linux-androideabi? > > Thr former, but I guess that we want to support the latter as well.
In my reading, the code supported both these before your recent change, and now supports neither, as I reported this morning. With which configurations exactly have you tested your change? Grüße, Thomas
pgpF6mpWfgKPa.pgp
Description: PGP signature
