|
| From: | Ben Elliston |
| Subject: | bug#33821: dejagnu command should list available commands |
| Date: | Sat, 22 Dec 2018 00:09:30 +1100 |
| User-agent: | NeoMutt/20170609 (1.8.3) |
At present, 'dejagnu' with no arguments gives: ERROR: no command given It would be good if it listed the available commands.
| [Prev in Thread] | Current Thread | [Next in Thread] |