diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-01 18:08:49 -0500 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2021-04-01 18:08:49 -0500 |
commit | ea9642561c3f410dfb9f1362bc61fdf4e499b7f4 (patch) | |
tree | 7c738759d087bd6464979fe26181b5c018864da9 /commands/report-card.awk | |
parent | bda78c625a56790f0df2f9c592c3ae4472ace6f4 (diff) | |
download | dejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.zip dejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.tar.gz dejagnu-ea9642561c3f410dfb9f1362bc61fdf4e499b7f4.tar.bz2 |
Revise usage messages to better fit GNU conventions
Diffstat (limited to 'commands/report-card.awk')
-rw-r--r-- | commands/report-card.awk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/commands/report-card.awk b/commands/report-card.awk index b04c0e9..dc5c4e9 100644 --- a/commands/report-card.awk +++ b/commands/report-card.awk @@ -1,5 +1,5 @@ # report-card.awk -- Test summary tool -# Copyright (C) 2018 Free Software Foundation, Inc. +# Copyright (C) 2018, 2021 Free Software Foundation, Inc. # # This file is part of DejaGnu. # @@ -20,8 +20,8 @@ # This file was written by Jacob Bachmeyer. # ##help -# #Usage: dejagnu report card [<option>|<tool>|<file>]... -# #Usage: dejagnu report-card [<option>|<tool>|<file>]... +# #Usage: dejagnu report card [ OPTION | TOOL | FILE ]... +# #Usage: dejagnu report-card [ OPTION | TOOL | FILE ]... # # --verbose, -v Emit additional messages # ##end |