mirror/curl
2
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2025-02-17 14:59:45 +08:00
Code Issues Packages Projects Releases Wiki Activity

cmdline-opts/gen.pl: return hard on errors

Browse Source 
... as the warnings tend to go unnoticed otherwise!

Closes #6354
This commit is contained in:
Daniel Stenberg 2020-12-21 15:30:56 +01:00
parent a93c647de8
commit 44c5e3901c
No known key found for this signature in database
GPG Key ID: 5CC908FDB71E12C2
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/cmdline-opts/gen.pl
View File

@ -169,10 +169,12 @@ sub single {
}
elsif(/^---/) {
if(!$long) {
print STDERR "WARN: no 'Long:' in $f\n";
print STDERR "ERROR: no 'Long:' in $f\n";
exit 1;
}
if(!$category) {
print STDERR "WARN: no 'Category:' in $f\n";
print STDERR "ERROR: no 'Category:' in $f\n";
exit 2;
}
last;
}