diff --git a/repo b/repo index ea3807439f..560ec8d730 100755 --- a/repo +++ b/repo @@ -48,7 +48,7 @@ def main(argv): if argv and argv[0] == 'sync': _UpdateDepotTools() - os.execv(str(REPO), [sys.argv[0]] + argv) + os.execv(sys.executable, [sys.executable, str(REPO)] + argv) if __name__ == '__main__':