tree ef054de664ee15481b8a5c2cd024c2c272e09a87
parent a010a9f4a061acad3996bc43cf25bbf6c21d4223
author Mike Frysinger <vapier@google.com> 1660900669 -0400
committer Mike Frysinger <vapier@google.com> 1661201282 +0000

launcher: make missing .repo/repo/repo an error

If the specified repo dir doesn't actually have a `repo` program,
we only show a warning before continuing on, and then we fail in
weird ways.  Since we really need the repo dir to contain repo,
have this be fatal and delete the results.

Bug: https://crbug.com/gerrit/13526
Change-Id: Icee4cba96136d470cbb459a81918c40205078f98
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/343538
Reviewed-by: LaMont Jones <lamontjones@google.com>
Tested-by: Mike Frysinger <vapier@google.com>