diff options
author | Peter Mikola <mikopet@mikopet.dev> | 2024-12-06 16:57:30 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-12-06 15:57:30 +0000 |
commit | 4ddbdc61a3ec2959601f440c329bc8a180016f35 (patch) | |
tree | 9193bd1ae15366dfcdb97783519c28dac317a8c2 /mach.bat | |
parent | 3515b83a95cb65da30c1e3988f7a47f79fd7b9bd (diff) | |
download | servo-4ddbdc61a3ec2959601f440c329bc8a180016f35.tar.gz servo-4ddbdc61a3ec2959601f440c329bc8a180016f35.zip |
tweak mach files a little bit (#34485)
Signed-off-by: Peter MIKOLA <mikopet@mikopet.dev>
Diffstat (limited to 'mach.bat')
-rw-r--r-- | mach.bat | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,8 +1,9 @@ @echo off +set workdir=%~dp0 where /Q py.exe IF %ERRORLEVEL% NEQ 0 ( - python mach %* + python %workdir%mach %* ) ELSE ( - py -3 mach %* + py -3 %workdir%mach %* ) |