diff --git a/repo b/repo index bdc05c3b..6f2067ea 100755 --- a/repo +++ b/repo @@ -479,6 +479,7 @@ def _Help(args): if args: if args[0] == 'init': init_optparse.print_help() + sys.exit(0) else: print >>sys.stderr,\ "error: '%s' is not a bootstrap command.\n"\