From 79c1ca1481b8a0f98dbcff5ccab068fa624688ca Mon Sep 17 00:00:00 2001
From: Bart Polot <bart@net.in.tum.de>
Date: Tue, 6 Oct 2015 17:50:47 +0000
Subject: - fix script to work with barebone versions of sh

---
 src/cadet/loopcheck.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/cadet/loopcheck.sh')

diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh
index b9e9d7b49..ddc8c191c 100755
--- 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;
-- 
cgit v1.2.3