guix-env: some update.

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

diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh
index 32cbddcd7ce446a30ce8bcb7cb3aad5ff2cb0a09..ddc8c191c246909c460401b7332999033e280135 100755 (executable)
--- a/src/cadet/loopcheck.sh
+++ b/src/cadet/loopcheck.sh
@@ -1,21 +1,19 @@
 #!/bin/sh
-if ["$1" == ""]; then
-    while true; do
-       date;
+while true; do
+    if [ "$1" = "" ]; then
+       echo All
        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;
+    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
-       grep -B 10 Assert log && break
-       ls core* &> /dev/null && break
-    done
-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