[Bug bootstrap/42047] --with-gmp= include directory is used for build targets

[egallager at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42047

Eric Gallager <egallager at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |egallager at gcc dot gnu.org
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=34818

--- Comment #6 from Eric Gallager <egallager at gcc dot gnu.org> ---
Possibly related to bug 34818 and/or some other build bugs mentioning gmp...