diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2018-12-05 20:14:47 +0100 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2018-12-05 20:14:47 +0100 |
| commit | a8e848cf32b0f92fdff3561d982dd5fda6f78586 (patch) | |
| tree | 6429398f019db6379339aede9e4e77985b09680f /buildbot | |
| parent | 5e947583aa5bbcfb5cc5c33d712ed7468cc8667c (diff) | |
| download | deployment-a8e848cf32b0f92fdff3561d982dd5fda6f78586.tar.gz deployment-a8e848cf32b0f92fdff3561d982dd5fda6f78586.tar.bz2 deployment-a8e848cf32b0f92fdff3561d982dd5fda6f78586.zip | |
Remove garbage files and set permissions on PDFs.
Diffstat (limited to 'buildbot')
| -rwxr-xr-x | buildbot/make_auditor_reports.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh index bc11ea5..5bacb68 100755 --- a/buildbot/make_auditor_reports.sh +++ b/buildbot/make_auditor_reports.sh @@ -34,9 +34,12 @@ python ${PWD}/render_auditor_reports.py \ > "${REPORT_FILE_NOEXT}.tex" \ < "${JINJA_TEMPLATE}" -# POLISHING ENDS HERE. - cd "${REPORTS_DIRECTORY}" pdflatex "${REPORT_FILE_NOEXT}.tex" +# Remove garbage and set permissions. +rm "${REPORT_FILE_NOEXT}.aux" +rm "${REPORT_FILE_NOEXT}.log" +chmod g+r "${REPORT_FILE_NOEXT}.pdf" + echo "The file ${REPORT_FILE_NOEXT}.pdf" has been correctly generated. |