https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95720
--- Comment #7 from Alexandre Oliva <aoliva at gcc dot gnu.org> --- now, if it is from the board config file, maybe it had better be moved to ldflags or libs; both of them undergo some -Wl, treatment of object files and libs already.
