From 6ebfa1f996267a0935855f97ce9cf0fb6222d475 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Mon, 7 Feb 2022 12:19:36 +0100 Subject: [PATCH] Fix error 404 for grey.png with recent jenkins [ci-skip]. --- tools/jenkins/project_description.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/jenkins/project_description.sh b/tools/jenkins/project_description.sh index 815f17b528..d7dbebc0b7 100755 --- a/tools/jenkins/project_description.sh +++ b/tools/jenkins/project_description.sh @@ -158,7 +158,7 @@ do color1="&color=green" fi rm status - statusmc="" + statusmc="" wget --quiet https://ci.inria.fr/simgrid/buildStatus/text?job=SimGrid%2Fbuild_mode%3DModelChecker%2Cnode%3D"${node}" -O status >/dev/null 2>&1 status=$(cat status) if [ "$status" ]; then @@ -190,7 +190,7 @@ ball="red.png" if [ -n "$success" ]; then ball="blue.png" fi -echo " $node$os$compiler$boost$java$cmake$ns3$py" +echo " $node$os$compiler$boost$java$cmake$ns3$py" rm consoleText echo "" -- 2.20.1