diff options
author | Jack Lloyd <[email protected]> | 2018-12-03 22:00:55 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2018-12-03 22:00:55 -0500 |
commit | df1f63f1aa55a782a00714d62708aaa8e27a682f (patch) | |
tree | 13769b17e1ea688f3be37b649af2eaeaa5a14b8e /src/configs | |
parent | 92d6b2f014b5c33e1748a88d8a5f842e9eab504f (diff) |
Do multiple jobs for pylint analysis
Diffstat (limited to 'src/configs')
-rw-r--r-- | src/configs/pylint.rc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/configs/pylint.rc b/src/configs/pylint.rc index 5dcff5650..da0457c47 100644 --- a/src/configs/pylint.rc +++ b/src/configs/pylint.rc @@ -19,7 +19,7 @@ persistent=yes load-plugins= # Use multiple processes to speed up Pylint. -jobs=1 +jobs=3 # Allow loading of arbitrary C extensions. Extensions are imported into the # active Python interpreter and may run arbitrary code. @@ -60,7 +60,7 @@ confidence= # no Warning level messages displayed, use"--disable=all --enable=classes # --disable=W" -disable=missing-docstring,no-else-return,logging-not-lazy +disable=missing-docstring,no-else-return,logging-not-lazy,locally-disabled [REPORTS] |