diff --git a/JenkinsfileDeploy b/JenkinsfileDeploy index 70cd4af9832f647664774feb47ef5d69a944cb9a..c71e6f5ce543ec640b55d8cdb608df747af525a2 100755 --- a/JenkinsfileDeploy +++ b/JenkinsfileDeploy @@ -9,6 +9,7 @@ pipeline { wget http://ci4.castalia.camp:8080/job/scava-datasets/lastSuccessfulBuild/artifact/docs/*zip*/docs.zip -O docs.zip unzip -o docs.zip + mkdir -p projects/ wget http://ci4.castalia.camp:8080/job/scava-datasets/lastSuccessfulBuild/artifact/datasets/projects/list_projects.txt -O projects/list_projects.txt for p in `cat projects/list_projects.txt`; do wget http://ci4.castalia.camp:8080/job/scava-datasets/lastSuccessfulBuild/artifact/datasets/projects/$p/*zip*/$p.zip -O projects/$p.zip