Index: tools/perf/pylintrc |
diff --git a/tools/perf/pylintrc b/tools/perf/pylintrc |
index 964cc022331e9ab2e67116a7652e085b6d74b3cd..08ccfb0f884f87aef9d279404e21ea1e5ee58c85 100644 |
--- a/tools/perf/pylintrc |
+++ b/tools/perf/pylintrc |
@@ -13,5 +13,7 @@ reports=no |
[FORMAT] |
+dummy-variables-rgx=_+ |
dtu
2015/05/04 22:19:18
I think these need to be in a section named [VARIA
eakuefner
2015/05/04 22:21:14
Done.
|
+ |
# We use two spaces for indents, instead of the usual four spaces or tab. |
indent-string=' ' |