mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00: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 %*
|
|
)
|