diff options
Diffstat (limited to 'buildbot')
| -rwxr-xr-x | buildbot/make_auditor_reports.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh index 5bacb68..eb6b72d 100755 --- a/buildbot/make_auditor_reports.sh +++ b/buildbot/make_auditor_reports.sh @@ -38,8 +38,8 @@ cd "${REPORTS_DIRECTORY}" pdflatex "${REPORT_FILE_NOEXT}.tex" # Remove garbage and set permissions. -rm "${REPORT_FILE_NOEXT}.aux" -rm "${REPORT_FILE_NOEXT}.log" +rm *.aux +rm *.log chmod g+r "${REPORT_FILE_NOEXT}.pdf" echo "The file ${REPORT_FILE_NOEXT}.pdf" has been correctly generated. |