https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69153
--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- You are leaking a target specific configure option to the configure script. This seems wrong. Can't you set target_header_dir in config.gcc instead?
