blob: 165bb297d4c7dc76e9c7af607aafa9f45a7342fd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/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
|
