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
At present, 'dejagnu' with no arguments gives:
ERROR: no command given
It would be good if it listed the available commands.
___
Bug-dejagnu mailing list
Bug-dejagnu@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-dejagnu
