diff options
Diffstat (limited to 'dejagnu')
-rwxr-xr-x | dejagnu | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -45,7 +45,7 @@ # variables. In this script, the intended meaning is obvious in context. # ##help -# #Usage: dejagnu <command> [--help|options...] +# #Usage: dejagnu COMMAND [ --help | OPTIONS... ] # #Usage: dejagnu --help # #Usage: dejagnu --version # # --help Print help text |