diff --git a/ShellB3/shallbethree.sh b/ShellB3/shallbethree.sh index d08ebd745f2fcacd57c7e49434f33ef2685e9d64..86a49bb96af7ccd674bc8cd0deebe11170c0b308 100755 --- a/ShellB3/shallbethree.sh +++ b/ShellB3/shallbethree.sh @@ -7248,7 +7248,7 @@ mk__gcc() { fi CXXFLAGS="$(omitparameter -stdlib=libc++ 0 ${CXXFLAGS})" CPPFLAGS="$(omitparameter -stdlib=libc++ 0 ${CPPFLAGS}) $( isDarwin && echo -DHAVE_FCNTL_H=1 -DHAVE_SPAWN_H=1)" \ - _configure_make_install ${NAMESRCPATH} --disable-gcov --with-gmp=${BASE} --with-mpfr=${BASE} \ + _configure_make_install ${NAMESRCPATH} --with-gmp=${BASE} --with-mpfr=${BASE} \ --with-mpc=${BASE} --bindir=${BASE}/sysbin --disable-libgcj --with-isl=${BASE} --enable-checking=release \ --disable-multilib --enable-languages=${LANGS} ${EXTRAPARMS} "$@"