aboutsummaryrefslogtreecommitdiff
path: root/contrib
diff options
context:
space:
mode:
authorMartin Liska <mliska@suse.cz>2019-03-06 11:00:37 +0100
committerMartin Liska <marxin@gcc.gnu.org>2019-03-06 10:00:37 +0000
commit08bc73f09c02a49e125c5e851456ac5b13ac3560 (patch)
treeec9a7c56ba4ed3359d54226df56d10d75c33ba60 /contrib
parent956cb6d39762a731759f4a656f4ca0d8aae15cc2 (diff)
Ignore a param in check-params-in-docs.py
2019-03-06 Martin Liska <mliska@suse.cz> * check-params-in-docs.py: Ignore a param. From-SVN: r269414
Diffstat (limited to 'contrib')
-rw-r--r--contrib/ChangeLog4
-rwxr-xr-xcontrib/check-params-in-docs.py5
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 <mliska@suse.cz>
+
+ * check-params-in-docs.py: Ignore a param.
+
2019-03-05 Christophe Lyon <christophe.lyon@linaro.org>
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):