diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2013-05-17 15:06:37 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2013-05-17 15:06:37 +0000 |
| commit | 2c6d524259bb1b14b1e70570778126fc2001d825 (patch) | |
| tree | a999d109d1a7b738889705bd7b18ab407c9a5c40 /testsuite/makefiles/summarize.awk | |
| parent | 9bbd8bdaec6070a9f71f290b774e5dfe697bd9f0 (diff) | |
PR#5710: add Mono support to the testsuite
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13694 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'testsuite/makefiles/summarize.awk')
| -rw-r--r-- | testsuite/makefiles/summarize.awk | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/makefiles/summarize.awk b/testsuite/makefiles/summarize.awk index 552088b3f..75ab95255 100644 --- a/testsuite/makefiles/summarize.awk +++ b/testsuite/makefiles/summarize.awk @@ -28,6 +28,12 @@ function record_pass() { clear(); } +function record_skip() { + check(); + ++ skipped; + clear(); +} + function record_fail() { check(); ++ failed; @@ -69,6 +75,10 @@ function record_unexp() { record_pass(); } +/=> skipped/ { + record_skip(); +} + /=> failed/ { record_fail(); } @@ -77,6 +87,9 @@ function record_unexp() { record_unexp(); } +# Not displaying "skipped" for the moment, as most of the skipped tests +# print nothing at all and are not counted. + END { if (errored){ printf ("\n#### Some fatal error occurred during testing.\n\n"); |