Merge "repo: use explicit Python executable to run main.py"
diff --git a/repo b/repo
index eeb8920..62e6ea5 100755
--- a/repo
+++ b/repo
@@ -739,7 +739,7 @@
repo_main = my_main
ver_str = '.'.join(map(str, VERSION))
- me = [repo_main,
+ me = [sys.executable, repo_main,
'--repo-dir=%s' % rel_repo_dir,
'--wrapper-version=%s' % ver_str,
'--wrapper-path=%s' % wrapper_path,
@@ -747,7 +747,7 @@
me.extend(orig_args)
me.extend(extra_args)
try:
- os.execv(repo_main, me)
+ os.execv(sys.executable, me)
except OSError as e:
_print("fatal: unable to start %s" % repo_main, file=sys.stderr)
_print("fatal: %s" % e, file=sys.stderr)