| commit | a0c615ef42d69b8c600c354f67dafd95cba63831 | [log] [tgz] |
|---|---|---|
| author | Gilles Peskine <Gilles.Peskine@arm.com> | Wed Feb 27 11:03:43 2019 +0100 |
| committer | Gilles Peskine <Gilles.Peskine@arm.com> | Wed Feb 27 11:03:43 2019 +0100 |
| tree | df0eba4b40c4e747e9840b9bd316ac36077310a1 | |
| parent | e915d532a6b1a4c7ade1463124be74107c3a765c [diff] |
Allow main() to lack a docstring.
diff --git a/.pylintrc b/.pylintrc index 168e0b7..037717e 100644 --- a/.pylintrc +++ b/.pylintrc
@@ -23,7 +23,7 @@ # Some functions don't need docstrings. # [missing-docstring] -no-docstring-rgx=(run_)main$ +no-docstring-rgx=(run_)?main$ # We're ok with short local or global variable names. # [invalid-name]