diff options
| -rw-r--r-- | subcmds/sync.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subcmds/sync.py b/subcmds/sync.py index ef023274..2d00eb7d 100644 --- a/subcmds/sync.py +++ b/subcmds/sync.py | |||
| @@ -393,7 +393,7 @@ later is required to fix a server side protocol bug. | |||
| 393 | t.join() | 393 | t.join() |
| 394 | 394 | ||
| 395 | # If we saw an error, exit with code 1 so that other scripts can check. | 395 | # If we saw an error, exit with code 1 so that other scripts can check. |
| 396 | if err_event.isSet(): | 396 | if err_event.isSet() and not opt.force_broken: |
| 397 | print('\nerror: Exited sync due to fetch errors', file=sys.stderr) | 397 | print('\nerror: Exited sync due to fetch errors', file=sys.stderr) |
| 398 | sys.exit(1) | 398 | sys.exit(1) |
| 399 | 399 | ||
