summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xrepo9
1 files changed, 5 insertions, 4 deletions
diff --git a/repo b/repo
index 13ccd2ba..78cb41bf 100755
--- a/repo
+++ b/repo
@@ -357,16 +357,17 @@ def _Init(args, gitc_init=False):
357 dst = os.path.abspath(os.path.join(repodir, S_repo)) 357 dst = os.path.abspath(os.path.join(repodir, S_repo))
358 _Clone(url, dst, opt.quiet, not opt.no_clone_bundle) 358 _Clone(url, dst, opt.quiet, not opt.no_clone_bundle)
359 359
360 if not os.path.isfile('%s/repo' % dst):
361 _print("warning: '%s' does not look like a git-repo repository, is "
362 "REPO_URL set correctly?" % url, file=sys.stderr)
363
364 if can_verify and not opt.no_repo_verify: 360 if can_verify and not opt.no_repo_verify:
365 rev = _Verify(dst, branch, opt.quiet) 361 rev = _Verify(dst, branch, opt.quiet)
366 else: 362 else:
367 rev = 'refs/remotes/origin/%s^0' % branch 363 rev = 'refs/remotes/origin/%s^0' % branch
368 364
369 _Checkout(dst, branch, rev, opt.quiet) 365 _Checkout(dst, branch, rev, opt.quiet)
366
367 if not os.path.isfile(os.path.join(dst, 'repo')):
368 _print("warning: '%s' does not look like a git-repo repository, is "
369 "REPO_URL set correctly?" % url, file=sys.stderr)
370
370 except CloneFailure: 371 except CloneFailure:
371 if opt.quiet: 372 if opt.quiet:
372 _print('fatal: repo init failed; run without --quiet to see why', 373 _print('fatal: repo init failed; run without --quiet to see why',