diff options
Diffstat (limited to 'buildbot')
| -rwxr-xr-x | buildbot/make_auditor_reports.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh index b7c5e86..e9f7ccd 100755 --- 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}" |