diff --git a/repo b/repo index eeb8920b..62e6ea51 100755 --- a/repo +++ b/repo @@ -739,7 +739,7 @@ def main(orig_args): 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 @@ def main(orig_args): 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)