From 6c7165cfb7dff8b2aa902e3cf1c746d4912efda4 Mon Sep 17 00:00:00 2001
From: Andrew Gunnerson <accounts+github@chiller3.com>
Date: Wed, 14 Jun 2023 18:04:44 -0400
Subject: [PATCH] modules/build.py: Windows requires .bat extension to be
 specified explicitly

Fixes: #104

Signed-off-by: Andrew Gunnerson <accounts+github@chiller3.com>
---
 modules/build.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/modules/build.py b/modules/build.py
index c9a591a..351a7db 100755
--- a/modules/build.py
+++ b/modules/build.py
@@ -41,6 +41,8 @@ def build_dex(sources):
     build_tools = newest_child_by_name(os.path.join(sdk, 'build-tools'))
     platform = newest_child_by_name(os.path.join(sdk, 'platforms'))
     d8 = os.path.join(build_tools, 'd8')
+    if os.name == 'nt':
+        d8 += '.bat'
     android_jar = os.path.join(platform, 'android.jar')
 
     with tempfile.TemporaryDirectory() as temp_dir: