https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67415
--- Comment #1 from Bernhard Rosenkränzer <Bernhard.Rosenkranzer at linaro dot org> --- Workaround: add -march=armv7-a to the command line as well
Bernhard.Rosenkranzer at linaro dot org Mon, 31 Aug 2015 15:57:39 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67415
--- Comment #1 from Bernhard Rosenkränzer <Bernhard.Rosenkranzer at linaro dot org> --- Workaround: add -march=armv7-a to the command line as well