| 1234567891011121314151617 |
- #!/bin/sh
- while true; do
- if [ "$1" == "" ]; then
- taskset 1 make check || break;
- else
- LOGFILE="`date "+%m.%d-%H:%M:%S"`.log"
- taskset 1 $1 |& tee $LOGFILE | grep -v DEBUG;
- if [ "${PIPESTATUS[0]}" != "0" ]; then
- echo "Failed";
- date;
- break;
- fi
- fi
- grep -B 10 ERROR *?*.log && break
- grep -B 10 Assert *?*.log && break
- ls core* &> /dev/null && break
- done
|
