diff options
Diffstat (limited to 'mach.cmd')
| -rw-r--r-- | mach.cmd | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/mach.cmd b/mach.cmd new file mode 100644 index 0000000000..7c7c6f74ae --- /dev/null +++ b/mach.cmd @@ -0,0 +1,9 @@ +@ECHO OFF
+SET topsrcdir=%~dp0
+
+WHERE /q py
+IF %ERRORLEVEL% EQU 0 (
+ py %topsrcdir%mach %*
+) ELSE (
+ python %topsrcdir%mach %*
+)
|