bug#33821: dejagnu command should list available commands

Ben Elliston <[email protected]> Sat, 22 Dec 2018 00:09:30 +1100

Newsgroups	gmane.comp.sysutils.dejagnu.bugs
Message-ID	<[email protected]>

At present, 'dejagnu' with no arguments gives:

ERROR: no command given

It would be good if it listed the available commands.