I read the page, but overlooked it. There are too many options listed. Perhaps someone should put important options like this one in BOLD or something? > On Aug 16, 2018, at 08:51:21, Jonathan Wakely <jwakely.gcc@xxxxxxxxx> wrote: > > https://gcc.gnu.org/install/configure.html <https://gcc.gnu.org/install/configure.html>
