diff options
| author | flip1995 <philipp.krones@embecosm.com> | 2021-05-06 11:51:22 +0200 |
|---|---|---|
| committer | flip1995 <philipp.krones@embecosm.com> | 2021-05-06 12:20:44 +0200 |
| commit | 8e6ff8ffbd93d60e6afb3d5ee4c736123a7bed13 (patch) | |
| tree | 75eac95879b020048a3702a5ad5204713d7af946 /src/tools/clippy/util | |
| parent | d620ae10709ca3669cda89db8b29afcd9accc188 (diff) | |
| parent | b71f3405606d49b9735606b479c3415a0ca9810f (diff) | |
| download | rust-8e6ff8ffbd93d60e6afb3d5ee4c736123a7bed13.tar.gz rust-8e6ff8ffbd93d60e6afb3d5ee4c736123a7bed13.zip | |
Merge commit 'b71f3405606d49b9735606b479c3415a0ca9810f' into clippyup
Diffstat (limited to 'src/tools/clippy/util')
| -rw-r--r-- | src/tools/clippy/util/lintlib.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/clippy/util/lintlib.py b/src/tools/clippy/util/lintlib.py index d0d9beb9b2d..5707cf0ce0f 100644 --- a/src/tools/clippy/util/lintlib.py +++ b/src/tools/clippy/util/lintlib.py @@ -14,7 +14,7 @@ lintname_re = re.compile(r'''pub\s+([A-Z_][A-Z_0-9]*)''') group_re = re.compile(r'''\s*([a-z_][a-z_0-9]+)''') conf_re = re.compile(r'''define_Conf! {\n([^}]*)\n}''', re.MULTILINE) confvar_re = re.compile( - r'''/// Lint: ([\w,\s]+)\. (.*)\n\s*\([^,]+,\s+"([^"]+)":\s+([^,]+),\s+([^\.\)]+).*\),''', re.MULTILINE) + r'''/// Lint: ([\w,\s]+)\. (.*)\n\s*\(([^:]+):\s*([^\s=]+)\s*=\s*([^\.\)]+).*\),''', re.MULTILINE) comment_re = re.compile(r'''\s*/// ?(.*)''') lint_levels = { |