Hi all,I've regenerated arm-tables.opt in config/arm. I should have done that when committing the -march=armv7ve patch (r207237). I've regenerated it, made sure that the tests that were failing due to this PASS and committed it as r207418.
Sorry for the noise, Kyrill 2014-02-03 Kyrylo Tkachov <kyrylo.tkac...@arm.com> * config/arm/arm-tables.opt: Regenerate.