From b6f01bb157b9ee30b9f27ef4c4a6f861eee88afa Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Fri, 12 Oct 2018 14:24:37 +0200
Subject: [PATCH] imported patch prism-auto-report-failures.patch

---
 prism/etc/scripts/prism-auto | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto
index e64fbf40..d6e639c8 100755
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@@ -1057,6 +1057,8 @@ if options.nailgun:
         print(options.prismExec + " -ng &")
     else:
         restartNailGunServer();
+
+# process benchmarks
 for arg in args:
     if os.path.isdir(arg):
         benchmarkDir(arg)
@@ -1064,4 +1066,11 @@ for arg in args:
         benchmarkFile(arg)
     else:
         print("Error: File/directory " + arg + " does not exist")
+
+# shutdown
+if options.test and options.testAll and not options.echo:
+    if testStats['FAILURE'] > 0:
+        # report via the exit code that there were actual failures in test + test-all mode
+        closeDown(1)
+
 closeDown(0)