Re: nightly build make check etc

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 ?

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
clisp-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/clisp-devel