diff options
author | Martin Liska <mliska@suse.cz> | 2019-03-06 11:00:37 +0100 |
---|---|---|
committer | Martin Liska <marxin@gcc.gnu.org> | 2019-03-06 10:00:37 +0000 |
commit | 08bc73f09c02a49e125c5e851456ac5b13ac3560 (patch) | |
tree | ec9a7c56ba4ed3359d54226df56d10d75c33ba60 /contrib/check-params-in-docs.py | |
parent | 956cb6d39762a731759f4a656f4ca0d8aae15cc2 (diff) | |
download | gcc-08bc73f09c02a49e125c5e851456ac5b13ac3560.zip gcc-08bc73f09c02a49e125c5e851456ac5b13ac3560.tar.gz gcc-08bc73f09c02a49e125c5e851456ac5b13ac3560.tar.bz2 |
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/check-params-in-docs.py')
-rwxr-xr-x | contrib/check-params-in-docs.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/contrib/check-params-in-docs.py b/contrib/check-params-in-docs.py index eb36f4b..6cff090 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): |