Index: roll_dep.py |
diff --git a/roll_dep.py b/roll_dep.py |
index 5e9c47874dce9c0743baf057f8d1fbe19be6283a..fb6a3f850911ba059fd77358dfc001f60192e544 100755 |
--- a/roll_dep.py |
+++ b/roll_dep.py |
@@ -398,4 +398,8 @@ def main(argv): |
return update_deps(deps_file, dep_path, dep_name, git_rev, comment) |
if __name__ == '__main__': |
- sys.exit(main(sys.argv[1:])) |
+ try: |
+ sys.exit(main(sys.argv[1:])) |
+ except KeyboardInterrupt: |
+ print 'interrupted' |
+ sys.exit(1) |