revert #1927 for mpir

This commit is contained in:
Thomas Krijnen
2021-12-09 20:27:55 +01:00
parent 4a8843b6bb
commit 099013fa05
+1 -1
View File
@@ -401,7 +401,7 @@ IF EXIST "%DEPS_DIR%\swigwin\". robocopy "%DEPS_DIR%\swigwin" "%INSTALL_DIR%\swi
:mpir :mpir
set DEPENDENCY_NAME=mpir set DEPENDENCY_NAME=mpir
set DEPENDENCY_DIR=%DEPS_DIR%\mpir set DEPENDENCY_DIR=%DEPS_DIR%\mpir
call :GitCloneAndCheckoutRevision https://github.com/aothms/mpir.git "%DEPENDENCY_DIR%" call :GitCloneAndCheckoutRevision https://github.com/BrianGladman/mpir.git "%DEPENDENCY_DIR%"
IF NOT %ERRORLEVEL%==0 GOTO :Error IF NOT %ERRORLEVEL%==0 GOTO :Error
cd "%DEPENDENCY_DIR%" cd "%DEPENDENCY_DIR%"
git reset --hard git reset --hard