diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-05-29 20:07:56 +0200 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-05-29 20:07:56 +0200 |
| commit | 54492293e6abb6a181c987456e0be927c872bf99 (patch) | |
| tree | d91f4e8aa4d9d63c11deff7104a8f09fe79de74a /buildbot/make_auditor_reports.sh | |
| parent | 400db1341d9629ddc7599d69f0d4592b7a3e67f2 (diff) | |
| download | deployment-54492293e6abb6a181c987456e0be927c872bf99.tar.gz deployment-54492293e6abb6a181c987456e0be927c872bf99.tar.bz2 deployment-54492293e6abb6a181c987456e0be927c872bf99.zip | |
ux
Diffstat (limited to 'buildbot/make_auditor_reports.sh')
| -rwxr-xr-x | buildbot/make_auditor_reports.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh index 47e9589..5a06a77 100755 --- a/buildbot/make_auditor_reports.sh +++ b/buildbot/make_auditor_reports.sh @@ -38,12 +38,18 @@ pdflatex "${REPORT_FILE_NOEXT}.tex" pdflatex "${REPORT_FILE_NOEXT}.tex" # Remove garbage and set permissions. +echo Removing "${REPORT_FILE_NOEXT}.aux" rm "${REPORT_FILE_NOEXT}.aux" +echo Removing "${REPORT_FILE_NOEXT}.tex" +rm "${REPORT_FILE_NOEXT}.tex" +echo Removing "${REPORT_FILE_NOEXT}.log" +rm "${REPORT_FILE_NOEXT}.log" # Keep the log around. # rm "${REPORT_FILE_NOEXT}.log" chmod g+r "${REPORT_FILE_NOEXT}.pdf" mv "${REPORT_FILE_NOEXT}.pdf" "${REPORTS_DIRECTORY}" +chmod g+rw "${REPORTS_DIRECTORY}/${REPORT_FILE_NOEXT}.pdf" echo "The file ${REPORTS_DIRECTORY}/${REPORT_FILE_NOEXT}.pdf" \ "has been correctly generated." |