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