From 4ece160f51d6b1be8aa49aea61da376d741666d3 Mon Sep 17 00:00:00 2001 From: alemuntoni Date: Fri, 16 Oct 2020 11:59:35 +0200 Subject: [PATCH] fix windows build --- install/windows/windows_build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/install/windows/windows_build.sh b/install/windows/windows_build.sh index 177ff972f..5d92f40fa 100644 --- a/install/windows/windows_build.sh +++ b/install/windows/windows_build.sh @@ -62,5 +62,5 @@ SOURCE_PATH=$PWD/../../src cd $BUILD_PATH cmake -DCMAKE_INSTALL_PREFIX=$INSTALL_PATH $SOURCE_PATH -make $CORES -make install +nmake +nmake install