https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65837
--- Comment #16 from clyon at gcc dot gnu.org --- (In reply to prathamesh3492 from comment #15) > I am not understanding why vfpv3-d16 appears in collect_gcc_options in > run_gcc(). Isn't this because you configured GCC --with-fpu=vfpv3-d16?