diff --git a/JenkinsfileDeploy b/JenkinsfileDeploy index cfb353e984a998678b1acb18ddbae4cab4f8dc01..bf81bba1f7d5fdf0ad535b4e1efa70d9ce6f026a 100755 --- a/JenkinsfileDeploy +++ b/JenkinsfileDeploy @@ -15,7 +15,7 @@ pipeline { wget http://ci4.castalia.camp:8080/job/scava-datasets/lastSuccessfulBuild/artifact/docs/*zip*/docs.zip -O docs.zip unzip -o docs.zip - wget http://ci4.castalia.camp:8080/job/scava-datasets/lastSuccessfulBuild/artifact/datasets/eclipse_mls/list_projects.txt -O projects/list_projects.txt + 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 unzip -d projects/ -o projects/$p.zip