diff options
-rwxr-xr-x | repo | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -479,6 +479,7 @@ def _Help(args): | |||
479 | if args: | 479 | if args: |
480 | if args[0] == 'init': | 480 | if args[0] == 'init': |
481 | init_optparse.print_help() | 481 | init_optparse.print_help() |
482 | sys.exit(0) | ||
482 | else: | 483 | else: |
483 | print >>sys.stderr,\ | 484 | print >>sys.stderr,\ |
484 | "error: '%s' is not a bootstrap command.\n"\ | 485 | "error: '%s' is not a bootstrap command.\n"\ |