Index: pylint.py |
diff --git a/pylint.py b/pylint.py |
index 9caa3a37110e19e8c0a435a2db78c3939513a310..278945fd65a2d7bf3a217734d3e9d7538e35f37a 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: |
+ print 'interrupted' |
+ sys.exit(1) |