commit 53263d873d16220d3b77302dc98cc35c4a5558ef
author Conley Owens <cco3@android.com> Thu Oct 10 18:42:59 2013 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Thu Oct 10 18:42:59 2013 +0000
tree 7391f540301bdc112ae88f04cfe49a3f378f274d
parent b25ea555c39cd500740acb74fa9f1dab71588266
parent 3a2a59eb87b58a4b5a26349434db322846cb6b57

Merge "repo: use explicit Python executable to run main.py"

repo

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)