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