commit 54492293e6abb6a181c987456e0be927c872bf99
parent 400db1341d9629ddc7599d69f0d4592b7a3e67f2
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date: Wed, 29 May 2019 20:07:56 +0200
ux
Diffstat:
1 file changed, 6 insertions(+), 0 deletions(-)
diff --git 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."