Index: pylint.py |
diff --git a/pylint.py b/pylint.py |
index 9caa3a37110e19e8c0a435a2db78c3939513a310..f24ab1780192805d0fb9d416b251c2220159ff51 100755 |
--- a/pylint.py |
+++ b/pylint.py |
@@ -19,4 +19,8 @@ _RC_FILE = os.path.join(_HERE, 'pylintrc') |
# 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:] |
-sys.exit(subprocess.call(command)) |
+try: |
+ sys.exit(subprocess.call(command)) |
+except KeyboardInterrupt: |
+ sys.stderr.write('interrupted\n') |
+ sys.exit(1) |