michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(bin/linja): upstream script updated

Browse source
This commit is contained in:
Favonia 2015-01-23 17:26:15 -05:00 committed by Leonardo de Moura
parent 27f6bfd3f0
commit b643063955
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
bin/linja
View file

@ -251,7 +251,7 @@ def build_ninja_and_save_at(ninja_path, platform):
built_ninja_path = os.path.join(build_dir, "ninja")
cmd_clone_ninja = ["git", "clone", "git://github.com/martine/ninja.git"]
cmd_checkout_release = ["git", "checkout", "release"]
cmd_bootstrap = [os.path.join(build_dir, "bootstrap.py"), "--platform", platform]
cmd_bootstrap = [os.path.join(build_dir, "configure.py"), "--bootstrap", "--platform", platform]
try:
os.chdir(tempdir)
if subprocess.call(cmd_clone_ninja):