From a106be60aa7de2e48e94c89b68b86a66d91c8639 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <stanisci.m@gmail.com>
Date: Wed, 5 Jun 2019 18:18:03 +0200
Subject: some ux

---
 buildbot/make_auditor_reports.sh | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'buildbot')

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
-- 
cgit v1.2.3