diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2018-12-05 20:16:43 +0100 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2018-12-05 20:16:43 +0100 |
| commit | 73bd179a7e7b2df39a70f69fead00d38b14b4382 (patch) | |
| tree | c7112017f964290352f08ffb8854fc2f02f59fc3 | |
| parent | a8e848cf32b0f92fdff3561d982dd5fda6f78586 (diff) | |
| download | deployment-73bd179a7e7b2df39a70f69fead00d38b14b4382.tar.gz deployment-73bd179a7e7b2df39a70f69fead00d38b14b4382.tar.bz2 deployment-73bd179a7e7b2df39a70f69fead00d38b14b4382.zip | |
Fix file path.
| -rwxr-xr-x | buildbot/make_auditor_reports.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh index 5bacb68..eb6b72d 100755 --- 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. |