3 if [ "$1" == "" ]; then
4 taskset 1 make check || break;
6 LOGFILE="`date "+%m.%d-%H:%M:%S"`.log"
7 taskset 1 $1 |& tee $LOGFILE | grep -v DEBUG;
8 if [ "${PIPESTATUS[0]}" != "0" ]; then
14 grep -B 10 ERROR *?*.log && break
15 grep -B 10 Assert *?*.log && break
16 ls core* &> /dev/null && break