From dc2b5eeb89835016e4bd6b8b5de401692d4957a4 Mon Sep 17 00:00:00 2001
From: Xavier Clerc
Date: Fri, 3 Oct 2014 17:18:23 +0200
Subject: Classify segfaults as failures in opened bugs

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

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 9e3c9152fa..2125ade8f4 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -63,6 +63,7 @@ ifeq (,$(bogomips))
 endif
 
 log_success = "==========> SUCCESS <=========="
+log_segfault = ""==========> FAILURE <=========="
 log_failure = "==========> FAILURE <=========="
 log_intro = "==========> TESTING $(1) <=========="
 
@@ -168,6 +169,9 @@ $(addsuffix .log,$(wildcard bugs/opened/*.v)): %.v.log: %.v
 	  if [ $$R = 0 ]; then \
 	    echo $(log_success); \
 	    echo "    $<...still active"; \
+	  elif [ $$R = 139 ]; then \
+	    echo $(log_segfault); \
+	    echo "    $<...still active"; \
 	  else \
 	    echo $(log_failure); \
 	    echo "    $<...Error! (bug seems to be closed, please check)"; \
-- 
cgit v1.2.3