On Thu, Jun 20, 2019 at 12:50 PM Jim Wilson <j...@sifive.com> wrote: > This looks OK to me. It is worth pointing out that ARM already ships > compilers built this way, but they didn't bother adding a configure > option. They just override Makefile variables in their build scripts. > I think this is much cleaner as a documented configure option.
It has been a week, and no one else commented on this, so I went ahead and committed it, with the regenerated configure. Jim