commit e4064589a77bbe805db9580b338b8f46da6d8b6c parent 4883a7664f61880d95ad0030c20197e7d08a9145 Author: Marcello Stanisci <stanisci.m@gmail.com> Date: Thu, 30 May 2019 09:35:20 +0200 garbage collecting files Diffstat:
| M | buildbot/make_auditor_reports.sh | | | 2 | ++ |
1 file changed, 2 insertions(+), 0 deletions(-)
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh @@ -49,6 +49,8 @@ echo Removing "${REPORT_FILE_NOEXT}.tex" rm "${REPORT_FILE_NOEXT}.tex" echo Removing "${REPORT_FILE_NOEXT}.log" rm "${REPORT_FILE_NOEXT}.log" +echo Removing "${REPORT_FILE_NOEXT}.txt", "${WIRE_REPORT_FILE_NOEXT}.txt" +rm "${REPORT_FILE_NOEXT}.txt" "${WIRE_REPORT_FILE_NOEXT}.txt" # Group to assign the file. GROUP="test"