bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Make update_lints script accept digits in lint names

Browse source
This commit is contained in:
Florian Hartwig 2016-01-27 20:59:19 +01:00
parent 04f9d35f64
commit 23dfb2fbc0
3 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
util/update_lints.py
View file

@ -9,7 +9,7 @@ import sys
declare_lint_re = re.compile(r'''
declare_lint! \s* [{(] \s*
pub \s+ (?P<name>[A-Z_]+) \s*,\s*
pub \s+ (?P<name>[A-Z_][A-Z_0-9]*) \s*,\s*
(?P<level>Forbid|Deny|Warn|Allow) \s*,\s*
" (?P<desc>(?:[^"\\]+|\\.)*) " \s* [})]
''', re.X | re.S)