From bb6c9a522abea19f8c675ada07e180548b50ac3a Mon Sep 17 00:00:00 2001
From: Joachim Klein <joachim.klein@automata.tools>
Date: Tue, 23 Apr 2019 20:44:38 +0200
Subject: [PATCH] prism-auto: exit code 1 in test mode if there were failures

---
 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)