diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/checkAPIs.pl | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/checkAPIs.pl b/tools/checkAPIs.pl index 02e7bf896f..d0246984c4 100755 --- a/tools/checkAPIs.pl +++ b/tools/checkAPIs.pl @@ -7,7 +7,10 @@ # be called by Wireshark code and to perform certain other checks. # # Usage: -# checkAPIs.pl [-M] [-g group1] [-g group2] [-s summary-group1] [-s summary-group2] [--nocheck-value-string-array-null-termination] file1 file2 ... +# checkAPIs.pl [-M] [-g group1] [-g group2] ... +# [-s summary-group1] [-s summary-group2] ... +# [--nocheck-value-string-array-null-termination] +# [--nocheck-addtext] [--nocheck-hf] [--debug] file1 file2 ... # # $Id$ # |