interrupt=true
diff="diff -u"
showme=false
-expunge=true
have_test_arg=false
randomize=false
here=`pwd`
if grep -s "^$id " group >/dev/null ; then
# in group file ... OK
echo $id >>$tmp.list
- elif [ -f expunged ] && $expunge && \
- egrep "^$id([ ]|\$)" expunged >/dev/null ; then
- # expunged ... will be reported, but not run, later
- echo $id >>$tmp.list
else
# oops
echo "$id - unknown test, ignored"
mv $tmp.out check.time
fi
- if [ -f $tmp.expunged ]
- then
- notrun=`wc -l <$tmp.expunged | sed -e 's/ *//g'`
- n_try=`expr $n_try - $notrun`
- list=`echo "$list" | sed -f $tmp.expunged`
- fi
-
echo "" >>check.log
date >>check.log
echo $list | fmt | sed -e 's/^/ /' >>check.log
then
echo
continue
- elif [ -f expunged ] && $expunge && egrep "^$seq([ ]|\$)" expunged >/dev/null
- then
- echo " - expunged"
- rm -f $seq.out.bad
- echo "/^$seq\$/d" >>$tmp.expunged
elif [ ! -f $seq ]
then
echo " - no such test?"
- echo "/^$seq\$/d" >>$tmp.expunged
else
# really going to try and run this one
#