Ignore a param in check-params-in-docs.py
authorMartin Liska <mliska@suse.cz>
Wed, 6 Mar 2019 10:00:37 +0000 (11:00 +0100)
committerMartin Liska <marxin@gcc.gnu.org>
Wed, 6 Mar 2019 10:00:37 +0000 (10:00 +0000)
2019-03-06  Martin Liska  <mliska@suse.cz>

* check-params-in-docs.py: Ignore a param.

From-SVN: r269414

contrib/ChangeLog
contrib/check-params-in-docs.py

index e9d0731c27ca54ed84c188ba1a73d3c55aa4aed2..17148e7770a0a4a6798530d81ef65da7ea505994 100644 (file)
@@ -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/
index eb36f4b865499ca3bd315337fc2e1037ecb66afd..6cff090dc4cb81cef4b4a0ae4c7df8b2ec628865 100755 (executable)
@@ -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):