aboutsummaryrefslogtreecommitdiff
path: root/src/cadet/loopcheck.sh
blob: cdbe822cf5c517cfb643fd03a55b8308a7c07a29 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#!/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