summaryrefslogtreecommitdiff
path: root/manage
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2021-09-07 10:43:16 +0200
committerGitHub <noreply@github.com>2021-09-07 10:43:16 +0200
commit9ef7f38e4f20bad5a76867aa3e5049a92bc58e59 (patch)
treeee65fca81a86dce44f9090a92823f4b1a3425af3 /manage
parentf869e73d2fdfc5a4e24e4a0bc1e4da28b81e261b (diff)
parent82847df3001b1f8b7d78d36180c02479e45fb4e1 (diff)
Merge pull request #300 from return42/fix-engine-pylint
[fix] drop useless pylint: disable=undefined-variable
Diffstat (limited to 'manage')
-rwxr-xr-xmanage2
1 files changed, 1 insertions, 1 deletions
diff --git a/manage b/manage
index 8b1975bde..bd89e7f2b 100755
--- a/manage
+++ b/manage
@@ -37,7 +37,7 @@ PYLINT_SEARX_DISABLE_OPTION="\
I,C,R,\
W0105,W0212,W0511,W0603,W0613,W0621,W0702,W0703,W1401,\
E1136"
-PYLINT_ADDITIONAL_BUILTINS_FOR_ENGINES="supported_languages,language_aliases,logger"
+PYLINT_ADDITIONAL_BUILTINS_FOR_ENGINES="supported_languages,language_aliases,logger,categories"
PYLINT_OPTIONS="-m pylint -j 0 --rcfile .pylintrc"
help() {