Ben Elliston wrote:
At present, 'dejagnu' with no arguments gives:
ERROR: no command given
It would be good if it listed the available commands.
Agreed. Plans are for a nice tabular output and this is now also on my
local TODO list.
Implementation will be delayed somewhat, at least until there is more
than one command to display. The testsuite provides some test data
here, but the "test" commands have much shorter names than the
"production" commands that are planned.
-- Jacob
_______________________________________________
Bug-dejagnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-dejagnu