[PATCH] configure: respect --with-build-time-tools [PR43301]

[Eric Gallager via Gcc-patches]

Hi, there's been a patch sitting in bug 43301 for over a decade that I
think still makes sense to apply, so I rebased it against current
trunk and found that it still applies. It just makes the configure
script respect the --with-build-time-tools flag. OK to commit?

ChangeLog:

    PR bootstrap/43301
    * configure: Regenerate.
    * configure.ac: Respect --with-build-time-tools flag.

patch-configure_1.diff
Description: Binary data