Merge branch 'master' of gnunet.org:gnunet
[oweals/gnunet.git] / src / cadet / loopcheck.sh
1 #!/bin/sh
2 while true; do
3     if [ "$1" = "" ]; then
4         echo All
5         taskset 1 make check || break;
6     else
7         echo One
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
11             echo "Failed";
12             date;
13             break;
14         fi
15     fi
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
19 done