diff options
| -rwxr-xr-x | buildbot/make_auditor_reports.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh index 00452bf..379b6a3 100755 --- a/buildbot/make_auditor_reports.sh +++ b/buildbot/make_auditor_reports.sh @@ -53,9 +53,9 @@ pdflatex \ --output-directory $REPORTS_DIRECTORY \ "${REPORT_FILE}.tex" -rm - "${REPORT_FILE}.log" - "${REPORT_FILE}.tex" - "${REPORT_FILE}.txt" +rm \ + "${REPORT_FILE_NOEXT}.log" \ + "${REPORT_FILE_NOEXT}.tex" \ + "${REPORT_FILE_NOEXT}.txt" -echo "The file ${REPORT_FILE}.pdf" has been correctly generated. +echo "The file ${REPORT_FILE_NOEXT}.pdf" has been correctly generated. |