diff options
Diffstat (limited to 'bin/repoman')
-rwxr-xr-x | bin/repoman | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/repoman b/bin/repoman index d393df1ba..8e19a4763 100755 --- a/bin/repoman +++ b/bin/repoman @@ -2622,7 +2622,7 @@ else: if options.ask and userquery('Commit changes?', True) != 'Yes': print("* aborting commit.") - sys.exit(1) + sys.exit(128 + signal.SIGINT) # Handle the case where committed files have keywords which # will change and need a priming commit before the Manifest |