diff options
author | Daniel Stenberg <daniel@haxx.se> | 2020-12-21 15:30:56 +0100 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2020-12-21 22:39:26 +0100 |
commit | 44c5e3901c6fd8344883f86e4d0c726ae6e2a10d (patch) | |
tree | c7e87090c47f45315bb4079a918f8d8aeef31c68 | |
parent | a93c647de8634ddf958e075e0649182f349441b6 (diff) | |
download | curl-44c5e3901c6fd8344883f86e4d0c726ae6e2a10d.tar.gz |
cmdline-opts/gen.pl: return hard on errors
... as the warnings tend to go unnoticed otherwise!
Closes #6354
-rwxr-xr-x | docs/cmdline-opts/gen.pl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/docs/cmdline-opts/gen.pl b/docs/cmdline-opts/gen.pl index 6a22ac95a..ff358514a 100755 --- a/docs/cmdline-opts/gen.pl +++ b/docs/cmdline-opts/gen.pl @@ -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; } |