build-deps/mpfr: clean up repo dir on the rebuild

For consistency with `mpir`
This commit is contained in:
Andrej730
2026-09-08 12:55:09 +05:00
parent 97caf8033c
commit 2eba0addf2
+1
View File
@@ -347,6 +347,7 @@ call :GitCloneAndCheckoutRevision https://github.com/aothms/mpfr.git "%DEPENDENC
IF NOT %ERRORLEVEL%==0 GOTO :Error
pushd "%DEPENDENCY_DIR%"
git reset --hard
git clean -fdx
powershell -c "get-content %~dp0patches\mpfr.patch | %%{$_ -replace \"sdk\",\"%UCRTVersion%\"} | %%{$_ -replace \"fn\",\"lib_mpfr\"}" | git apply --unidiff-zero --ignore-whitespace
IF NOT %ERRORLEVEL%==0 GOTO :Error
git apply "%~dp0patches\mpfr_runtime.patch" --unidiff-zero --ignore-whitespace