Could beohm-gc test be 'dejagnu-ised'?

[mike stump]

> Date: Tue, 26 Mar 2002 20:36:14 +0100
> To: Gcc <gcc@gcc.gnu.org>
> From: =?iso-8859-1?Q?Christian_J=F6nsson?= <c.christian.joensson@telia.com>

> I've been getting test failures for long now in this test and some
> others have also from time to time. It'd be neat if it was reported
> by the contrib'ed test_summary script into the e-mail list
> gcc-testresults also...

An easier way is to just arrange for it to use a similar output
format, to have it create beohm-gc.log and beohm-gc.sum files, and for
it to run with make check.  test_summary will already report on it.

One can even generate these files after normal beohm-gc testing, using
sed...  if the testing log files for beohm-gc are `sane'.  In the best
case scenario, it is 5 extra lines in a makefile.

One doesn't _have_ to change it to use dejagnu...