diff --git a/build_sec_OS.sh b/build_sec_OS.sh index ef1f422e7ad17395fc6a27e1b1e9247ea227bc1b..98d883096d0947d940e134faf9aa5b7a5627faf0 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