diff options
| author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2017-10-08 17:33:16 +0100 |
|---|---|---|
| committer | Michael Mann <mmann78@netscape.net> | 2017-10-16 23:07:09 +0000 |
| commit | 46f4664b29a685a43dd5dd4c18b60e8bc1a5c34f (patch) | |
| tree | d5d776c4a34a05d8041b0a15d892631838be491c /tools/checkAPIs.pl | |
| parent | 9cfb746e65c42fafb1a94009fcf5d8e2bdf7c00d (diff) | |
checkAPI: error out on empty filelist
This will help detect some bogus checkapi runs in the future.
Change-Id: I43345e3a0a5471e9655f34e36ccf1562d6526758
Reviewed-on: https://code.wireshark.org/review/23946
Reviewed-by: Michael Mann <mmann78@netscape.net>
Diffstat (limited to 'tools/checkAPIs.pl')
| -rwxr-xr-x | tools/checkAPIs.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/checkAPIs.pl b/tools/checkAPIs.pl index ec007bddf0..ca326d4474 100755 --- a/tools/checkAPIs.pl +++ b/tools/checkAPIs.pl @@ -2126,6 +2126,8 @@ if ("$filenamelist" ne "") { close(FC); } +die "no files to process" unless (scalar @filelist); + # Read through the files; do various checks while ($_ = pop @filelist) { |