summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarcello Stanisci <stanisci.m@gmail.com>2018-12-05 19:59:47 +0100
committerMarcello Stanisci <stanisci.m@gmail.com>2018-12-05 19:59:47 +0100
commitec9e1c76d52a496f5c33f62527c742dc92851925 (patch)
tree0c23c5d155fd0d4ae96030ae4d314be6ccdc8f53
parentd0d216415efe508df32c4152b44a9650a4a80820 (diff)
downloaddeployment-ec9e1c76d52a496f5c33f62527c742dc92851925.tar.gz
deployment-ec9e1c76d52a496f5c33f62527c742dc92851925.tar.bz2
deployment-ec9e1c76d52a496f5c33f62527c742dc92851925.zip
Do not remove logs for now.
-rwxr-xr-xbuildbot/make_auditor_reports.sh6
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.