commit 6fe1c12dce2fdb6119f1e9008c279256066a884f
parent 47c882f2f1efa46d1606276ba0dc90afadc42e85
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date: Thu, 6 Dec 2018 12:40:10 +0100
Auditor reports generation.
Prefer to keep 'pdflatex' logs around.
Diffstat:
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh
@@ -41,7 +41,9 @@ pdflatex "${REPORT_FILE_NOEXT}.tex"
# Remove garbage and set permissions.
rm "${REPORT_FILE_NOEXT}.aux"
-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}"