Test suite

[duchier at ps.uni-sb.de]

Konstantin Popov <kost at sics.se> writes:

> (1) can be circumvented by e.g. installing the system into a temporary
> location

boot-check is for running the test suite in bootstrap mode.  of course, you can
install in any location you please, but then you are no longer doing just
"boostraping" and there is no reason to invoke make boot-check instead of make
check.

>, and (2) can be circumvented by using only those forking
> methods that are available.

you can't do that.  trying all these methods is hardwired in e.g. mini.oz.

> Not to mention, the *default* IMHO should be "do it", and if you cann't - then
> give the option explicitly.

The default _is_ to "do it", just not in bootstrap mode for the reasons that I
already mentioned.

Cheers,

--Denys