guix-env: some update.

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

diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh
index b9e9d7b49dd49912923cbf521ccf4e65f46b5fb7..ddc8c191c246909c460401b7332999033e280135 100755 (executable)
--- a/src/cadet/loopcheck.sh
+++ b/src/cadet/loopcheck.sh
@@ -1,10 +1,12 @@
 #!/bin/sh
 while true; do
-    if [ "$1" == "" ]; then
+    if [ "$1" = "" ]; then
+       echo All
        taskset 1 make check || break;
     else
+       echo One
        LOGFILE="test_`date "+%m.%d-%H:%M:%S"`.log"
-       taskset 1 $1 |& tee $LOGFILE | grep -v DEBUG;
+       taskset 01 $1 2>&1 | tee $LOGFILE | grep -v DEBUG;
        if [ "${PIPESTATUS[0]}" != "0" ]; then
            echo "Failed";
            date;