From bc7f3ef9ce41d4d59c4dfc0a68ef42a7edf38077 Mon Sep 17 00:00:00 2001
From: Xavier Clerc
Date: Fri, 14 Nov 2014 17:16:37 +0100
Subject: Use return code to classify anomalies as active open bugs.

---
 test-suite/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 0f1948841a..a676d89e70 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -64,6 +64,7 @@ endif
 
 log_success = "==========> SUCCESS <=========="
 log_segfault = "==========> FAILURE <=========="
+log_anomaly = "==========> FAILURE <=========="
 log_failure = "==========> FAILURE <=========="
 log_intro = "==========> TESTING $(1) <=========="
 
@@ -169,6 +170,9 @@ $(addsuffix .log,$(wildcard bugs/opened/*.v)): %.v.log: %.v
 	  if [ $$R = 0 ]; then \
 	    echo $(log_success); \
 	    echo "    $<...still active"; \
+	  elif [ $$R = 129 ]; then \
+	    echo $(log_anomaly); \
+	    echo "    $<...still active"; \
 	  elif [ $$R = 139 ]; then \
 	    echo $(log_segfault); \
 	    echo "    $<...still active"; \
-- 
cgit v1.2.3