From a747b00c40ac50010c1bc0110e7e1dbaedb44c57 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Sun, 7 Jul 2019 01:35:17 +0200 Subject: [PATCH] cosmetics for sorting --- tools/jenkins/project_description.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tools/jenkins/project_description.sh b/tools/jenkins/project_description.sh index f493cb94f4..99302b8bf9 100755 --- a/tools/jenkins/project_description.sh +++ b/tools/jenkins/project_description.sh @@ -153,14 +153,14 @@ do wget --quiet https://api.travis-ci.org/v3/job/${BUILDS[$id]}/log.txt -O ./consoleText >/dev/null 2>&1 sed -i -e "s/\r//g" ./consoleText if [ $id == 0 ]; then - node="travis-linux" - os="Ubuntu 16.04 (xenial) 64 bits" + node="travis-linux (log)" + os="Ubuntu 16.04 xenial" elif [ $id == 1 ]; then - node="travis-mac" - os="(Mac OSX) Mojave (10.14) " + node="travis-mac (log)" + os="Mac OS X Mojave (10.14) " elif [ $id == 2 ]; then - node="travis-windows" - os="(Windows) 10 v17134" + node="travis-windows (log)" + os="Windows 10 v17134" fi boost=$(get_boost) compiler=$(get_compiler) -- 2.20.1