commit 73bd179a7e7b2df39a70f69fead00d38b14b4382
parent a8e848cf32b0f92fdff3561d982dd5fda6f78586
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date: Wed, 5 Dec 2018 20:16:43 +0100
Fix file path.
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git 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.