On Feb 23 2022, Jose E. Marchesi wrote: > diff --git a/gcc/configure.ac b/gcc/configure.ac > index 06750cee977..a892e170997 100644 > --- a/gcc/configure.ac > +++ b/gcc/configure.ac > @@ -1042,6 +1042,12 @@ AC_SUBST(enable_shared) > AC_ARG_ENABLE(gcov, > [ --disable-gcov don't provide libgcov and related host tools], > [], [enable_gcov=yes]) > + > +case $target in > + bpf-*-*) > + enable_gcov=no > + ;; > +esac
I think that should be moved inside the fourth argument of AC_ARG_ENABLE so that it does not override an explicit --enable-gcov. -- Andreas Schwab, sch...@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."
