mirror of
https://github.com/servo/servo.git
synced 2025-07-23 07:13:52 +01:00
9 lines
131 B
Batchfile
9 lines
131 B
Batchfile
@echo off
|
|
set workdir=%~dp0
|
|
|
|
where /Q py.exe
|
|
IF %ERRORLEVEL% NEQ 0 (
|
|
python %workdir%mach %*
|
|
) ELSE (
|
|
py -3 %workdir%mach %*
|
|
)
|