Have configure run quiet if started by make in silent mode

[slel]

Having set make to silent mode eg using

MAKE='make -s V=0'

one would expect that in cases in which make or
make distclean calls ./configure,
it would call it in quiet mode: ./configure -q.

Before this ticket, that is not the case.

See also #21589

CC: @mkoeppe @slel @orlitzky

Component: build

Keywords: configure, make, quiet, silent

Issue created by migration from https://trac.sagemath.org/ticket/30258

[mkoeppe]

comment:1

That's a good idea for the config.status --recheck that is invoked by make sometimes.

[slel]

comment:3

Is it the main Makefile or build/make/Makefile that needs tweaking?

In passing, indentation in Makefiles is tabs-only but the main Makefile
has spaces mixed in at line 56.

[slel]

comment:5

This config.status --recheck seems to happen in two places (and once in the doc).

From the Sage root folder:

$ git grep "\brecheck\b" .
Makefile:               ./config.status --recheck && ./config.status; \
m4/sage_spkg_collect.m4:                AC_MSG_NOTICE([  \$ ./config.status --recheck && ./config.status])
src/doc/en/developer/portability_testing.rst:  configure:   $ ./config.status --recheck && ./config.status

[mkoeppe]

comment:7

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.