diff options
| author | Jacob Bachmeyer <jcb@gnu.org> | 2022-11-28 20:53:29 -0600 |
|---|---|---|
| committer | Jacob Bachmeyer <jcb@gnu.org> | 2022-11-28 20:53:29 -0600 |
| commit | add1e3e32ec43aed703fae19fccb997d09e37fdb (patch) | |
| tree | d18126acbaca724abb1892fb62432ed1009d7d29 /lib | |
| parent | 92bf23d77f288766eddff2b04323c320f202c8c5 (diff) | |
| download | dejagnu-add1e3e32ec43aed703fae19fccb997d09e37fdb.zip dejagnu-add1e3e32ec43aed703fae19fccb997d09e37fdb.tar.gz dejagnu-add1e3e32ec43aed703fae19fccb997d09e37fdb.tar.bz2 | |
Add UNSUPPORTED test result to DejaGnu unit test protocol
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/dejagnu.exp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dejagnu.exp b/lib/dejagnu.exp index 2489cc1..24b3c5f 100644 --- a/lib/dejagnu.exp +++ b/lib/dejagnu.exp @@ -140,6 +140,7 @@ proc host_execute {args} { XFAILED { xfail $output } UNTESTED { untested $output } UNRESOLVED { unresolved $output } + UNSUPPORTED { unsupported $output } END { expect -re {.+} { exp_continue } verbose "All done" 2 |