diff options
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 |