diff options
author | Bart Polot <bart@net.in.tum.de> | 2015-10-06 17:50:47 +0000 |
---|---|---|
committer | Bart Polot <bart@net.in.tum.de> | 2015-10-06 17:50:47 +0000 |
commit | 79c1ca1481b8a0f98dbcff5ccab068fa624688ca (patch) | |
tree | 774c83407be572e65697d8eca350f23e994cdc8b /src/cadet | |
parent | a67168e803fd2231cd20c2d16fdc8956a81a6b56 (diff) | |
download | gnunet-79c1ca1481b8a0f98dbcff5ccab068fa624688ca.tar.gz gnunet-79c1ca1481b8a0f98dbcff5ccab068fa624688ca.zip |
- fix script to work with barebone versions of sh
Diffstat (limited to 'src/cadet')
-rwxr-xr-x | src/cadet/loopcheck.sh | 6 |
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 |
2 | while true; do | 2 | while 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; |