#!/bin/sh
#
# Rerun check for all the tests that failed last time ... the
# ones with a *.out.bad file
#

list=`echo *.out.bad | sed -e 's/.out.bad//g'`

if [ "$list" = "*" ]
then
    echo "Nothing failed, bozo!"
    exit 1
fi

./check $* $list
