diff options
author | Marcello Stanisci <stanisci.m@gmail.com> | 2019-06-05 18:18:03 +0200 |
---|---|---|
committer | Marcello Stanisci <stanisci.m@gmail.com> | 2019-06-05 18:18:03 +0200 |
commit | a106be60aa7de2e48e94c89b68b86a66d91c8639 (patch) | |
tree | edb172a8933dd3a4d6c7223a0b872d5f7a3ccb5b /buildbot | |
parent | b16bf3bdea3e219fe63763e7c62c88886f14edcb (diff) | |
download | deployment-a106be60aa7de2e48e94c89b68b86a66d91c8639.tar.gz deployment-a106be60aa7de2e48e94c89b68b86a66d91c8639.tar.bz2 deployment-a106be60aa7de2e48e94c89b68b86a66d91c8639.zip |
some ux
Diffstat (limited to 'buildbot')
-rwxr-xr-x | buildbot/make_auditor_reports.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/buildbot/make_auditor_reports.sh b/buildbot/make_auditor_reports.sh index 24cd380..8c45d6e 100755 --- a/buildbot/make_auditor_reports.sh +++ b/buildbot/make_auditor_reports.sh @@ -49,6 +49,11 @@ 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" +if ! test -f "${REPORT_FILE_NOEXT}.pdf"; then + echo Could not produce the report + exit 1 +fi + # Group to assign the file. GROUP="test" if echo $(whoami) | grep demo; then |