https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101053
--- Comment #7 from Gilles Gouaillardet <gilles.gouaillardet at gmail dot com> --- Note you have to 'make clean' before re-running 'make ...' with different options. Otherwise, pretty much nothing gets rebuilt.
