From 54492293e6abb6a181c987456e0be927c872bf99 Mon Sep 17 00:00:00 2001 From: Marcello Stanisci Date: Wed, 29 May 2019 20:07:56 +0200 Subject: ux --- buildbot/make_auditor_reports.sh | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'buildbot/make_auditor_reports.sh') 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." -- cgit v1.2.3