From 08bc73f09c02a49e125c5e851456ac5b13ac3560 Mon Sep 17 00:00:00 2001 From: Martin Liska Date: Wed, 6 Mar 2019 11:00:37 +0100 Subject: [PATCH] Ignore a param in check-params-in-docs.py 2019-03-06 Martin Liska * check-params-in-docs.py: Ignore a param. From-SVN: r269414 --- contrib/ChangeLog | 4 ++++ contrib/check-params-in-docs.py | 5 +++-- 2 files changed, 7 insertions(+), 2 deletions(-) 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): -- 2.30.2