fix: redownload premake when version is outdated

This commit is contained in:
Jan 2025-04-21 17:23:30 +01:00
parent f888d7a5d4
commit dbcf7d86af
No known key found for this signature in database
GPG Key ID: 44B581F78FF5C57C
2 changed files with 7 additions and 4 deletions

View File

@ -28,7 +28,7 @@ IF ERRORLEVEL 1 (
)
echo Extracting...
%POWERSHELL_BIN% -NoProfile -NonInteractive -Command "Expand-Archive -LiteralPath build/premake.zip -DestinationPath build"
%POWERSHELL_BIN% -NoProfile -NonInteractive -Command "Expand-Archive -LiteralPath build/premake.zip -DestinationPath build -Force"
IF ERRORLEVEL 1 (
echo Extraction failed >&2
exit 2
@ -59,8 +59,11 @@ IF "%PREMAKE_NO_GLOBAL%" EQU "" (
)
IF EXIST build/premake5.exe (
set PREMAKE_BIN="build/premake5.exe"
goto runpremake
build\premake5.exe --version >NUL
IF NOT ERRORLEVEL 1 (
set PREMAKE_BIN="build/premake5.exe"
goto runpremake
)
)
if "%PREMAKE_NO_PROMPT%" NEQ "" (

View File

@ -62,7 +62,7 @@ expect_inside_git_repository
PREMAKE_BIN=''
if [[ -z "$PREMAKE_NO_GLOBAL" ]] && [[ -x "$(command -v premake5)" ]]; then
PREMAKE_BIN='premake5'
elif [[ -x "$(command -v build/premake5)" ]]; then
elif [[ -x "$(command -v build/premake5)" ]] && [[ ! -z "$(build/premake5 --version)" ]]; then
PREMAKE_BIN='build/premake5'
else
echo "Could not find premake5. You can either install it yourself or this script download it for you."