Re: nightly build make check etc

[<don...@is...>]

Sam Steingold writes:
 > disable check-doc or run it as
how does one disable it?
You mean edit the make file or can you do something like
 make check --exclude check-doc

 > > 2. tail of output of make extracheck:
 > > (Is this output considered "correct"?)
 > probably.
 > the only reliable indicator is the `make` exist status.

perhaps that result could be printed?

How about #3 mod-check ?