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) |
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 |