https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120106
--- Comment #16 from Nicolas Boulenguez <nicolas at debian dot org> --- I agree, but the top level Makefile does export _BUILD settings to sub-Makes via environment variables, not on the Make command line.
