From 2eba0addf2c93c78648dd1776926139d313cad0b Mon Sep 17 00:00:00 2001 From: Andrej730 Date: Tue, 8 Sep 2026 12:55:09 +0500 Subject: [PATCH] build-deps/mpfr: clean up repo dir on the rebuild For consistency with `mpir` --- win/build-deps.cmd | 1 + 1 file changed, 1 insertion(+) diff --git a/win/build-deps.cmd b/win/build-deps.cmd index 7ff6b999bd..1c948459c6 100644 --- a/win/build-deps.cmd +++ b/win/build-deps.cmd @@ -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