diff options
| author |  Xavier Clerc <xavier.clerc@inria.fr> | 2014-10-03 17:18:23 +0200 |
|---|---|---|
| committer | Xavier Clerc <xavier.clerc@inria.fr> | 2014-10-03 17:18:23 +0200 |
| commit | dc2b5eeb89835016e4bd6b8b5de401692d4957a4 (patch) | |
| tree | c4e63a5a359f9c7d61c2520c187c7bbddf78c67d /test-suite/Makefile | |
| parent | 0bc5690260483be052f86b73ee3a73fe62a5110c (diff) | |
Classify segfaults as failures in opened bugs
Diffstat (limited to 'test-suite/Makefile')
| -rw-r--r-- | test-suite/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test-suite/Makefile b/test-suite/Makefile index 9e3c9152f..2125ade8f 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)"; \ |