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