From 17dd1a5432acd98c689706c6c99ae596f67d6915 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Mon, 22 Jul 2019 16:09:52 +0200 Subject: [PATCH] add some grey --- tools/jenkins/project_description.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/jenkins/project_description.sh b/tools/jenkins/project_description.sh index 2a7ab8b076..43c1b16c09 100755 --- a/tools/jenkins/project_description.sh +++ b/tools/jenkins/project_description.sh @@ -154,14 +154,14 @@ 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 if [ $status == "Success" ]; then color2="&color=green" fi - statusmc="" + statusmc="" fi rm status echo " $node$os$compiler$boost$java$cmake$ns3$py${statusmc}" @@ -193,7 +193,7 @@ do cmake=$(get_cmake) ns3=$(get_ns3) py=$(get_python) - echo " $node$os$compiler$boost$java$cmake$ns3$py" + echo " $node$os$compiler$boost$java$cmake$ns3$py" rm consoleText done -- 2.20.1