1 files changed, 18 insertions, 7 deletions

diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh
index 2ea737ecb..4366e2082 100755
--- 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