Index: pylint.py |
diff --git a/pylint.py b/pylint.py |
index f24ab1780192805d0fb9d416b251c2220159ff51..168dbec667f2d438768a450305ff5c11098ccf22 100755 |
--- a/pylint.py |
+++ b/pylint.py |
@@ -18,7 +18,11 @@ _RC_FILE = os.path.join(_HERE, 'pylintrc') |
# Run pylint. We prepend the command-line with the depot_tools rcfile. If |
# another rcfile is to be used, passing --rcfile a second time on the command- |
# line will work fine. |
-command = [sys.executable, _PYLINT, '--rcfile=%s' % _RC_FILE] + sys.argv[1:] |
+command = [sys.executable, _PYLINT] |
+if os.path.isfile(_RC_FILE): |
+ # The file can be removed to test 'normal' pylint behavior. |
+ command.append('--rcfile=%s' % _RC_FILE) |
+command.extend(sys.argv[1:]) |
try: |
sys.exit(subprocess.call(command)) |
except KeyboardInterrupt: |