Hi, > --------2008-07-10 Mark Mitchell <mark@codesourcery.com> > > * config/os/gnu-linux/arm-eabi-extra.ver: New file. > * configure.host: Use it for arm*-*-linux-*eabi. apparently this is still unreviewed. I say go ahead at your ease, if Benjamin has additional suggestions we can certainly further tweak it later. Thanks, Paolo.