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 | ||