From 33f54674a328e623be36cffc76d75af411f1245e Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Mon, 24 Jul 2017 13:22:19 +0200
Subject: [PATCH] Fixing windows support pipeline
---
build_sec_OS.sh | 1 +
1 file changed, 1 insertion(+)
diff --git a/build_sec_OS.sh b/build_sec_OS.sh
index ef1f422e7..98d883096 100755
--- a/build_sec_OS.sh
+++ b/build_sec_OS.sh
@@ -16,6 +16,7 @@ if [ "$2" == "windows10" ]; then
echo "1" >> input_install
echo "2" >> input_install
echo "y" >> input_install
+ echo "1" >> input_install
./install -i "/scratch/p_ppm/openfpm_deps_intel" < input_install
--
GitLab