Invoke the extension generator through the python3 binary

On Windows it's not executable directly.

diff --git a/Build b/Build
index c195c2c8e5c91747779d8908771c9b2ea4fde203..19db08dc1d86f7465797e614fdfb052aa33d67f8 100644 (file)
--- a/Build
+++ b/Build
@@ -31,7 +31,8 @@ package "mspgl"
                        in_suffix ".glext";
                        out_suffix ".cpp";
                        out_suffix ".h";
-                       command "scripts/extgen.py";
+                       command "python3";
+                       argument "scripts/extgen.py";
                        if_arch "android"
                        {
                                argument "gles2";