From d4a5b33b8f4747e03b02f9185bb19afc7ea1d32a Mon Sep 17 00:00:00 2001 From: Thomas Krijnen Date: Wed, 29 Jul 2020 12:04:43 +0200 Subject: [PATCH] CGAL_VERSION 4.14.3 --- win/build-deps.cmd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/win/build-deps.cmd b/win/build-deps.cmd index d588c104a2..72ef05accd 100644 --- a/win/build-deps.cmd +++ b/win/build-deps.cmd @@ -440,7 +440,7 @@ IF NOT %ERRORLEVEL%==0 GOTO :Error :cgal set DEPENDENCY_NAME=cgal set DEPENDENCY_DIR=%DEPS_DIR%\cgal -call :GitCloneAndCheckoutRevision https://github.com/CGAL/cgal.git "%DEPENDENCY_DIR%" releases/CGAL-4.13.1 +call :GitCloneAndCheckoutRevision https://github.com/CGAL/cgal.git "%DEPENDENCY_DIR%" releases/CGAL-4.13.3 IF NOT %ERRORLEVEL%==0 GOTO :Error cd "%DEPENDENCY_DIR%" git reset --hard