diff --git a/repo b/repo index c1d86194..13ccd2ba 100755 --- a/repo +++ b/repo @@ -120,6 +120,7 @@ GITC_FS_ROOT_DIR = '/gitc/manifest-rw/' import errno import optparse +import platform import re import shutil import stat @@ -887,7 +888,10 @@ def main(orig_args): me.extend(orig_args) me.extend(extra_args) try: - os.execv(sys.executable, me) + if platform.system() == "Windows": + sys.exit(subprocess.call(me)) + else: + 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)