5 taskset 1 make check || break;
6 grep -B 10 Assert *log && break
7 ls core* &> /dev/null && break
12 taskset 1 $1 |& tee log | grep -v DEBUG;
13 if [ "${PIPESTATUS[0]}" != "0" ]; then
18 grep -B 10 Assert log && break
19 ls core* &> /dev/null && break