Index: roll_dep.py |
diff --git a/roll_dep.py b/roll_dep.py |
index 5e9c47874dce9c0743baf057f8d1fbe19be6283a..2f78983b270b9c717f750ab6b7099e29d68e4170 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: |
+ sys.stderr.write('interrupted\n') |
+ sys.exit(1) |