Hello, 2010/7/8, Wookey <wookey@wookware.org>: ...<snip>... > arm arm-linux-gnu ...<snip>... > I guess that's (more than) enough for now. Thoughts welcome. Would it be sane to use old deprecated OABI name? arm arm-linux-gnu Kind regards, -- Héctor Orón "Our Sun unleashes tremendous flares expelling hot gas into the Solar System, which one day will disconnect us."