bug#67391: dejagnu report card and multiple rows

[Tom Tromey]

I tried "dejagnu report card" today for gdb (well, the subset of gdb
tests that I most recently ran).  It shows:

prentzel. dejagnu report card gdb.sum
      __________________________________________________
     /    PASS   FAIL  ?PASS  ?FAIL  UNSUP  UNRES UNTEST
     |--------------------------------------------------
gdb  |    8599      0      0     37      0      0      0
     |--------------------------------------------------
     |    8599      0      0     37      0      0      0
     \__________________________________________________


I couldn't figure out why there would be two rows here.
The documentation doesn't describe it either.

Is the second row the sum?  If so (1) if there's a single tool, maybe it
can be omitted; and (2) perhaps this could be mentioned in the
documentation, maybe with some example output.

thanks,
Tom