taler-deployment

commit a106be60aa7de2e48e94c89b68b86a66d91c8639
parent b16bf3bdea3e219fe63763e7c62c88886f14edcb
Author: Marcello Stanisci <stanisci.m@gmail.com>
Date:   Wed,  5 Jun 2019 18:18:03 +0200

some ux

Diffstat:
M
buildbot/make_auditor_reports.sh
 | 
5
+++++

1 file changed, 5 insertions(+), 0 deletions(-)
diff --git 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