guix-env: some update.

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

diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh
index 2ea737ecb27b064e8da886bce904c956d48d29c7..ddc8c191c246909c460401b7332999033e280135 100755 (executable)
--- a/src/cadet/loopcheck.sh
+++ b/src/cadet/loopcheck.sh
@@ -1,8 +1,19 @@
 #!/bin/sh
-
 while true; do
-    date;
-    taskset 1 make check || break;
-    grep -B 10 Assert *log && break
+    if [ "$1" = "" ]; then
+       echo All
+       taskset 1 make check || break;
+    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
+    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