1#!/bin/sh 2 3#set -x 4 5cd "$(dirname "$0")" 6 7log=/tmp/log 8rm $log 2> /dev/null 9 10for t in *.out 11do 12 /bin/sh checkone.sh $t 13 if [ $? -ne 0 ]; then 14 echo `basename $t` >> $log 15 fi 16done 17