From 8e7775eced232b5cc10f7caf503a05bf9bd5ae0b Mon Sep 17 00:00:00 2001 From: ruben Date: Sat, 28 Mar 2020 17:54:25 +0000 Subject: [PATCH] Attempting to make Windows CIs work --- ci/build_windows.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ci/build_windows.bat b/ci/build_windows.bat index 840f8a32..8a746190 100644 --- a/ci/build_windows.bat +++ b/ci/build_windows.bat @@ -20,7 +20,7 @@ wget -q -O boost_download.zip ^ bash -c "unzip -q boost_download.zip" || goto error cd boost_1_72_0 cmd /c ".\bootstrap.bat --prefix=%BOOST_ROOT%" || goto error -cmd /c ".\b2 install -d0 --prefix=%BOOST_ROOT% --with-libraries=system,context,thread,chrono" || goto error +cmd /c ".\b2 install -d0 --prefix=%BOOST_ROOT% --with-system --with-context --with-thread --with-chrono --with-coroutine" || goto error cd .. rem Build our project