- allow to run specific checks in a loop

diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh
index 2ea737ecb27b064e8da886bce904c956d48d29c7..4366e2082b13bb0511312860ae33800bde0647ed 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
-    ls core* &> /dev/null && break
-done
+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