diff --git a/Jenkins_sec_OS b/Jenkins_sec_OS new file mode 100644 index 0000000000000000000000000000000000000000..8ebf2e4dec6ad54260f1457b014fc555d04ce707 --- /dev/null +++ b/Jenkins_sec_OS @@ -0,0 +1,19 @@ +#!groovy + +node ('windows10') +{ + deleteDir() + checkout scm + stage ('build_win10') + { + sh "./build_sec_OS.sh $WORKSPACE $NODE_NAME pdata" + } + +// stage ('run_taurus') +// { +// ./run.sh $WORKSPACE $NODE_NAME 24 1 24" +// } +} + + + diff --git a/openfpm_devices b/openfpm_devices index 9dc7f980ee4f06f7ad42e05aedd05c3faa11a9e7..40135332a81caa3960da0716b520b35bdf3290a8 160000 --- a/openfpm_devices +++ b/openfpm_devices @@ -1 +1 @@ -Subproject commit 9dc7f980ee4f06f7ad42e05aedd05c3faa11a9e7 +Subproject commit 40135332a81caa3960da0716b520b35bdf3290a8 diff --git a/openfpm_vcluster b/openfpm_vcluster index 9562a44fea1324ba92b3ce21f12486df0a0acea0..d83eec2942f1d6f847c976f61bc1816f002b51d7 160000 --- a/openfpm_vcluster +++ b/openfpm_vcluster @@ -1 +1 @@ -Subproject commit 9562a44fea1324ba92b3ce21f12486df0a0acea0 +Subproject commit d83eec2942f1d6f847c976f61bc1816f002b51d7