Re: @check and @check_tests

[Tom Tromey]

>>>>> "Akim" == Akim Demaille <[EMAIL PROTECTED]> writes:

Akim> Is there any reason not to merge those two guys?  The idea seems
Akim> to be that check_PROGRAMS etc. shall be run first.  Any reason
Akim> to have this?

We guarantee that all check_PROGRAMS (or whatever) will be built
before the tests are run.

Tom