From 32eddad9d73af73f93c84fc5ba64454c914210f4 Mon Sep 17 00:00:00 2001
From: "Pavel.Sergeev" <pavel.sergeev@jetbrains.com>
Date: Thu, 2 Feb 2023 13:14:58 +0100
Subject: [PATCH] fix Fetching ninja on windows

---
 script/build.py    | 2 +-
 script/checkout.py | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/script/build.py b/script/build.py
index 9d440e2..313eeee 100755
--- a/script/build.py
+++ b/script/build.py
@@ -13,7 +13,7 @@ def main():
   ndk = common.ndk()
 
   tools_dir = "depot_tools"
-  ninja = 'ninja.exe' if 'windows' == host else 'ninja'
+  ninja = 'ninja.bat' if 'windows' == host else 'ninja'
   isIos = 'ios' == target or 'iosSim' == target
   isIosSim = 'iosSim' == target
 
diff --git a/script/checkout.py b/script/checkout.py
index 3bcf599..82102dc 100755
--- a/script/checkout.py
+++ b/script/checkout.py
@@ -1,6 +1,6 @@
 #! /usr/bin/env python3
 
-import argparse, common, os, pathlib, platform, re, subprocess, sys
+import common, os, re, subprocess, sys
 
 def main():
   os.chdir(os.path.join(os.path.dirname(__file__), os.pardir))
@@ -47,7 +47,7 @@ def main():
 
   # fetch ninja
   print("> Fetching ninja")
-  subprocess.check_call(["bin/fetch-ninja"])
+  subprocess.check_call(["python3", "bin/fetch-ninja"])
 
   return 0