diff options
| author |  Xavier Clerc <xavier.clerc@inria.fr> | 2014-11-14 17:16:37 +0100 |
|---|---|---|
| committer | Xavier Clerc <xavier.clerc@inria.fr> | 2014-11-14 17:16:37 +0100 |
| commit | bc7f3ef9ce41d4d59c4dfc0a68ef42a7edf38077 (patch) | |
| tree | fff499f660e115b530f742b841c1d65b893488ad /test-suite/Makefile | |
| parent | 78793236fa289d6e48cb10c9694ee493e0952c28 (diff) | |
Use return code to classify anomalies as active open 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 0f1948841..a676d89e7 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"; \ |