diff --git a/tools/run-pylint b/tools/run-pylint index 0b7c16d4..0fe0c64a 100755 --- a/tools/run-pylint +++ b/tools/run-pylint @@ -16,6 +16,7 @@ cmd=( --rcfile=$RC_FILE --disable=R --disable=I + --dummy-variables-rgx="_" "${files[@]}" )