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

Reply via email to