aboutsummaryrefslogtreecommitdiff
path: root/src/cadet
diff options
context:
space:
mode:
authorBart Polot <bart@net.in.tum.de>2015-10-06 17:50:47 +0000
committerBart Polot <bart@net.in.tum.de>2015-10-06 17:50:47 +0000
commit79c1ca1481b8a0f98dbcff5ccab068fa624688ca (patch)
tree774c83407be572e65697d8eca350f23e994cdc8b /src/cadet
parenta67168e803fd2231cd20c2d16fdc8956a81a6b56 (diff)
downloadgnunet-79c1ca1481b8a0f98dbcff5ccab068fa624688ca.tar.gz
gnunet-79c1ca1481b8a0f98dbcff5ccab068fa624688ca.zip
- fix script to work with barebone versions of sh
Diffstat (limited to 'src/cadet')
-rwxr-xr-xsrc/cadet/loopcheck.sh6
1 files changed, 4 insertions, 2 deletions
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 @@
1#!/bin/sh 1#!/bin/sh
2while true; do 2while true; do
3 if [ "$1" == "" ]; then 3 if [ "$1" = "" ]; then
4 echo All
4 taskset 1 make check || break; 5 taskset 1 make check || break;
5 else 6 else
7 echo One
6 LOGFILE="test_`date "+%m.%d-%H:%M:%S"`.log" 8 LOGFILE="test_`date "+%m.%d-%H:%M:%S"`.log"
7 taskset 1 $1 |& tee $LOGFILE | grep -v DEBUG; 9 taskset 01 $1 2>&1 | tee $LOGFILE | grep -v DEBUG;
8 if [ "${PIPESTATUS[0]}" != "0" ]; then 10 if [ "${PIPESTATUS[0]}" != "0" ]; then
9 echo "Failed"; 11 echo "Failed";
10 date; 12 date;