Blame scripts/evaluate-test.sh

Packit Service 82fcde
#!/bin/sh
Packit Service 82fcde
# Output a test status line.
Packit Service 82fcde
# Copyright (C) 2012-2018 Free Software Foundation, Inc.
Packit Service 82fcde
# This file is part of the GNU C Library.
Packit Service 82fcde
Packit Service 82fcde
# The GNU C Library is free software; you can redistribute it and/or
Packit Service 82fcde
# modify it under the terms of the GNU Lesser General Public
Packit Service 82fcde
# License as published by the Free Software Foundation; either
Packit Service 82fcde
# version 2.1 of the License, or (at your option) any later version.
Packit Service 82fcde
Packit Service 82fcde
# The GNU C Library is distributed in the hope that it will be useful,
Packit Service 82fcde
# but WITHOUT ANY WARRANTY; without even the implied warranty of
Packit Service 82fcde
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit Service 82fcde
# Lesser General Public License for more details.
Packit Service 82fcde
Packit Service 82fcde
# You should have received a copy of the GNU Lesser General Public
Packit Service 82fcde
# License along with the GNU C Library; if not, see
Packit Service 82fcde
# <http://www.gnu.org/licenses/>.
Packit Service 82fcde
Packit Service 82fcde
# usage: evaluate-test.sh test_name rc xfail stop_on_failure
Packit Service 82fcde
Packit Service 82fcde
test_name=$1
Packit Service 82fcde
rc=$2
Packit Service 82fcde
orig_rc=$rc
Packit Service 82fcde
xfail=$3
Packit Service 82fcde
stop_on_failure=$4
Packit Service 82fcde
Packit Service 82fcde
if [ $rc -eq 77 ]; then
Packit Service 82fcde
  result="UNSUPPORTED"
Packit Service 82fcde
  rc=0
Packit Service 82fcde
else
Packit Service 82fcde
  if [ $rc -eq 0 ]; then
Packit Service 82fcde
    result="PASS"
Packit Service 82fcde
  else
Packit Service 82fcde
    result="FAIL"
Packit Service 82fcde
  fi
Packit Service 82fcde
Packit Service 82fcde
  if $xfail; then
Packit Service 82fcde
    result="X$result"
Packit Service 82fcde
    rc=0
Packit Service 82fcde
  fi
Packit Service 82fcde
fi
Packit Service 82fcde
Packit Service 82fcde
echo "$result: $test_name"
Packit Service 82fcde
echo "original exit status $orig_rc"
Packit Service 82fcde
if $stop_on_failure; then
Packit Service 82fcde
  exit $rc
Packit Service 82fcde
else
Packit Service 82fcde
  exit 0
Packit Service 82fcde
fi