diff --git a/contrib/ChangeLog b/contrib/ChangeLog index e9d0731c27c..17148e7770a 100644 --- a/contrib/ChangeLog +++ b/contrib/ChangeLog @@ -1,3 +1,7 @@ +2019-03-06 Martin Liska + + * check-params-in-docs.py: Ignore a param. + 2019-03-05 Christophe Lyon contrib/ diff --git a/contrib/check-params-in-docs.py b/contrib/check-params-in-docs.py index eb36f4b8654..6cff090dc4c 100755 --- a/contrib/check-params-in-docs.py +++ b/contrib/check-params-in-docs.py @@ -39,6 +39,7 @@ parser.add_argument('params_output') args = parser.parse_args() +ignored = set(['logical-op-non-short-circuit']) params = {} for line in open(args.params_output).readlines(): @@ -56,8 +57,8 @@ token = '@item ' texi = [x[len(token):] for x in texi if x.startswith(token)] sorted_texi = sorted(texi) -texi_set = set(texi) -params_set = set(params.keys()) +texi_set = set(texi) - ignored +params_set = set(params.keys()) - ignored extra = texi_set - params_set if len(extra):