function gen report
If a batch testplan is being executed (BATCH_TESTPLAN and LOGRUN_FILE are set),
then gen_report runs a sequence of commands to generate a PDF report
for the batch job.
This function is only called by a special Jenkins job, called Report.make_pdf.
This program does the following steps:
- creates an XML file, using gentexml.py
- converts the XML file to TEX format, using texml
- converts the TEX file to PDF format, using pdflatex
Here are some sample invocations:
Produces a PDF file from batch job results on success.
Located in scripts/reports.sh