From 8c0f277b2dc055cd0ccfb65fc1fa866730012617 Mon Sep 17 00:00:00 2001
From: Boris Baldassari <boris@chrysalice.org>
Date: Sun, 20 Dec 2020 12:32:39 +0100
Subject: [PATCH] #5 Fix jenkins file get for list_projects.

Signed-off-by: Boris Baldassari <boris@chrysalice.org>
---
 JenkinsfileDeploy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/JenkinsfileDeploy b/JenkinsfileDeploy
index cfb353e..bf81bba 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
-- 
GitLab