Index: third_party/pylint/pylint/__main__.py |
diff --git a/third_party/pylint/pylint/__main__.py b/third_party/pylint/pylint/__main__.py |
new file mode 100755 |
index 0000000000000000000000000000000000000000..7716361def3320f6601d775e6ee2e4ed3539cb0e |
--- /dev/null |
+++ b/third_party/pylint/pylint/__main__.py |
@@ -0,0 +1,3 @@ |
+#!/usr/bin/env python |
+import pylint |
+pylint.run_pylint() |