blob: ddc8c191c246909c460401b7332999033e280135 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/bin/sh
while true; do
if [ "$1" = "" ]; then
echo All
taskset 1 make check || break;
else
echo One
LOGFILE="test_`date "+%m.%d-%H:%M:%S"`.log"
taskset 01 $1 2>&1 | tee $LOGFILE | grep -v DEBUG;
if [ "${PIPESTATUS[0]}" != "0" ]; then
echo "Failed";
date;
break;
fi
fi
grep cadet test_*.log | grep -B 10 ERROR && break
grep cadet test_*.log | grep -B 10 Assert && break
ls core* &> /dev/null && break
done
|
