5 taskset 1 make check || break;
8 LOGFILE="test_`date "+%m.%d-%H:%M:%S"`.log"
9 taskset 01 $1 2>&1 | tee $LOGFILE | grep -v DEBUG;
10 if [ "${PIPESTATUS[0]}" != "0" ]; then
16 grep cadet test_*.log | grep -B 10 ERROR && break
17 grep cadet test_*.log | grep -B 10 Assert && break
18 ls core* &> /dev/null && break