From e007527a1ccf8588e694102adf2e8e8d6ea9dc7c Mon Sep 17 00:00:00 2001 From: Christophe Lyon Date: Thu, 4 Feb 2016 11:09:58 +0100 Subject: Print hostname and cwd in the diff-* files. This is to help finding the full logs when needed. Change-Id: I514bee440a910106ab55a920803e30b0552cca52 --- compare_jobs.sh | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/compare_jobs.sh b/compare_jobs.sh index dfeb139..86a1931 100755 --- a/compare_jobs.sh +++ b/compare_jobs.sh @@ -220,10 +220,15 @@ do class=no-change color=lightgreen message=PASSED - - [ -d "${build}" -a -d "${ref}" ] && ${mydir}/compare_tests -target ${target} \ - ${ref} ${build} >> ${mylog} - ret=$? + ret=0 + + if [ -d "${build}" -a -d "${ref}" ] + then + printf "# Running on `hostname` in `pwd`\n" >> ${mylog} + ${mydir}/compare_tests -target ${target} \ + ${ref} ${build} >> ${mylog} + ret=$? + fi if [ ! -d "${ref}" ]; then printf "\t# REF RESULTS NOT PRESENT: BUILD FAILED\n" >> ${mylog} ret=5 -- cgit v1.2.3