diff options
-rwxr-xr-x | buildbot/make_auditor_reports.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh index 4c6803d..33dfdc3 100755 --- a/buildbot/make_auditor_reports.sh +++ b/buildbot/make_auditor_reports.sh @@ -39,10 +39,4 @@ python ${PWD}/render_auditor_reports.py \ cd "${REPORTS_DIRECTORY}" pdflatex "${REPORT_FILE_NOEXT}.tex" -rm \ - "${REPORT_FILE_NOEXT}.log" \ - "${REPORT_FILE_NOEXT}.tex" \ - "${REPORT_FILE_NOEXT}.txt" \ - "${WIRE_REPORT_FILE_NOEXT}.txt" - echo "The file ${REPORT_FILE_NOEXT}.pdf" has been correctly generated. |