diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2018-12-06 12:40:10 +0100 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2018-12-06 12:40:10 +0100 |
| commit | 6fe1c12dce2fdb6119f1e9008c279256066a884f (patch) | |
| tree | 9a8406ee94c5e20fe7d9cc10499eed95b025e4cb | |
| parent | 47c882f2f1efa46d1606276ba0dc90afadc42e85 (diff) | |
| download | deployment-6fe1c12dce2fdb6119f1e9008c279256066a884f.tar.gz deployment-6fe1c12dce2fdb6119f1e9008c279256066a884f.tar.bz2 deployment-6fe1c12dce2fdb6119f1e9008c279256066a884f.zip | |
Auditor reports generation.
Prefer to keep 'pdflatex' logs around.
| -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}" |