Should make check always run the java tests?

[Tom Tromey]

>>>>> "Brad" == Bradley Lucier <lucier@math.purdue.edu> writes:

Brad> Sometimes the java tests are run and sometimes they are not, see

Brad> Is this a parallel make problem?  Should I report this to the bug
Brad> tracker?  If so, what information should I send in, and for which run,
Brad> java tests run or java tests not run?

IMO, if java was built, then "make check" should always run the java
test suite.  If it doesn't, that's a bug.  So, yes, please report it.
As a start the information in your message would do fine.

The first theory that comes to mind is that the top-level Makefile
decides not to run the tests for some reason.  Maybe a log file from a
top-level "make" would help.

Tom