From cf18198e5c89fd84aea3701ef1dab2ad0d64dfc6 Mon Sep 17 00:00:00 2001
From: Boris Baldassari <boris@chrysalice.org>
Date: Sun, 20 Dec 2020 12:39:10 +0100
Subject: [PATCH] #5 Fix jenkins file get for list_projects.
Signed-off-by: Boris Baldassari <boris@chrysalice.org>
---
JenkinsfileDeploy | 1 +
1 file changed, 1 insertion(+)
diff --git a/JenkinsfileDeploy b/JenkinsfileDeploy
index 70cd4af..c71e6f5 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
--
GitLab