diff options
author | Christophe Lyon <christophe.lyon@linaro.org> | 2017-10-12 15:14:00 +0000 |
---|---|---|
committer | Christophe Lyon <christophe.lyon@linaro.org> | 2017-10-12 15:16:34 +0000 |
commit | aa3ab2cf57a0786336c23f891eba4197b6b091f7 (patch) | |
tree | 7cbbcff76d54b508c2c17f59afcd7283549674e6 | |
parent | 28a9278f5d64ec23af93e6b1155f1a64093cf41c (diff) |
compare_jobs.sh: Rename report.html to Report.html.
So that it appears at the top of the Jenkins page, rather than at the
end. Useful when there are lots of job configurations.
Change-Id: Icbc8eb988079ebda2156ff0b941e7526ff673286
-rwxr-xr-x | compare_jobs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compare_jobs.sh b/compare_jobs.sh index bb3c853..d3150ab 100755 --- a/compare_jobs.sh +++ b/compare_jobs.sh @@ -97,7 +97,7 @@ if [ -s ${tmptargets} ]; then fi rm -f ${tmptargets} -HTML_REPORT=${mydir}/report.html +HTML_REPORT=${mydir}/Report.html rm -f ${HTML_REPORT} ${HTML_REPORT}.part html_doc_print_header > ${HTML_REPORT}.part |