https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82834
--- Comment #2 from simon at pushface dot org --- (In reply to Andrew Pinski from comment #1) > # Single-precision floating-point is NOT supported; we don't build a > # suitable library for that. Use the rm-profile config in that case. > > You need to use --with-multilib-list=rmprofile but then you cannot use > --with-arch=armv7 . I’d just realised that, & was about to come back and ask for the PR to be closed. Thanks for preempting, & apologies for the noise.
