blob: 9033fa141420d1cb7ddbdbd6dced85ed5db77d1b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/sh
while true; do
if [ "$1" == "" ]; then
taskset 1 make check || break;
else
taskset 1 $1 |& tee log | grep -v DEBUG;
if [ "${PIPESTATUS[0]}" != "0" ]; then
echo "Failed";
date;
break;
fi
fi
grep -B 10 Assert *log && break
ls core* &> /dev/null && break
done
|