> 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.
Good idea. V2 on the way...