diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/evaluate-test.sh | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/scripts/evaluate-test.sh b/scripts/evaluate-test.sh index 6c002e5..ad4da6e 100755 --- a/scripts/evaluate-test.sh +++ b/scripts/evaluate-test.sh @@ -25,15 +25,20 @@ orig_rc=$rc xfail=$3 stop_on_failure=$4 -if [ $rc -eq 0 ]; then - result="PASS" -else - result="FAIL" -fi - -if $xfail; then - result="X$result" +if [ $rc -eq 77 ]; then + result="UNSUPPORTED" rc=0 +else + if [ $rc -eq 0 ]; then + result="PASS" + else + result="FAIL" + fi + + if $xfail; then + result="X$result" + rc=0 + fi fi echo "$result: $test_name" |