diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2018-12-05 19:20:08 +0100 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2018-12-05 19:20:08 +0100 |
| commit | 75f40de3f942f26ff04f8cbb324ce3d33d450793 (patch) | |
| tree | 1d92882bf3b22e848e17ffef9b786ab2eb77794e | |
| parent | dcf4b45c528e1047f0fd1867f599f0ff053b5539 (diff) | |
| download | deployment-75f40de3f942f26ff04f8cbb324ce3d33d450793.tar.gz deployment-75f40de3f942f26ff04f8cbb324ce3d33d450793.tar.bz2 deployment-75f40de3f942f26ff04f8cbb324ce3d33d450793.zip | |
Fix variable name.
| -rwxr-xr-x | buildbot/make_auditor_reports.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh index 00452bf..379b6a3 100755 --- a/buildbot/make_auditor_reports.sh +++ b/buildbot/make_auditor_reports.sh @@ -53,9 +53,9 @@ pdflatex \ --output-directory $REPORTS_DIRECTORY \ "${REPORT_FILE}.tex" -rm - "${REPORT_FILE}.log" - "${REPORT_FILE}.tex" - "${REPORT_FILE}.txt" +rm \ + "${REPORT_FILE_NOEXT}.log" \ + "${REPORT_FILE_NOEXT}.tex" \ + "${REPORT_FILE_NOEXT}.txt" -echo "The file ${REPORT_FILE}.pdf" has been correctly generated. +echo "The file ${REPORT_FILE_NOEXT}.pdf" has been correctly generated. |