Merge branch 'master' of ssh://gnunet.org/gnunet

[oweals/gnunet.git] / src / cadet / loopcheck.sh

diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh
index 9033fa141420d1cb7ddbdbd6dced85ed5db77d1b..ddc8c191c246909c460401b7332999033e280135 100755 (executable)
--- a/src/cadet/loopcheck.sh
+++ b/src/cadet/loopcheck.sh
@@ -1,15 +1,19 @@
 #!/bin/sh
 while true; do
-    if [ "$1" == "" ]; then
+    if [ "$1" = "" ]; then
+       echo All
        taskset 1 make check || break;
     else
-       taskset 1 $1 |& tee log | grep -v DEBUG;
+       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 -B 10 Assert *log && break
+    grep cadet test_*.log | grep -B 10 ERROR && break
+    grep cadet test_*.log | grep -B 10 Assert && break
     ls core* &> /dev/null && break
 done