diff options
author | Bart Polot <bart@net.in.tum.de> | 2014-07-21 00:15:12 +0000 |
---|---|---|
committer | Bart Polot <bart@net.in.tum.de> | 2014-07-21 00:15:12 +0000 |
commit | 9ac0de85161e7cbe8795c7c275551276dd8666e4 (patch) | |
tree | 7e042f1abbe82a58bdb7a8122ebafd9849ab7d3a /src | |
parent | 690617640550bddc11e9f81cd62bc1858323272b (diff) | |
download | gnunet-9ac0de85161e7cbe8795c7c275551276dd8666e4.tar.gz gnunet-9ac0de85161e7cbe8795c7c275551276dd8666e4.zip |
- simplify loopcheck
Diffstat (limited to 'src')
-rwxr-xr-x | src/cadet/loopcheck.sh | 20 |
1 files changed, 7 insertions, 13 deletions
diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh index 32cbddcd7..9033fa141 100755 --- a/src/cadet/loopcheck.sh +++ b/src/cadet/loopcheck.sh | |||
@@ -1,21 +1,15 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | if ["$1" == ""]; then | 2 | while true; do |
3 | while true; do | 3 | if [ "$1" == "" ]; then |
4 | date; | ||
5 | taskset 1 make check || break; | 4 | taskset 1 make check || break; |
6 | grep -B 10 Assert *log && break | 5 | else |
7 | ls core* &> /dev/null && break | ||
8 | done | ||
9 | else | ||
10 | while true; do | ||
11 | date; | ||
12 | taskset 1 $1 |& tee log | grep -v DEBUG; | 6 | taskset 1 $1 |& tee log | grep -v DEBUG; |
13 | if [ "${PIPESTATUS[0]}" != "0" ]; then | 7 | if [ "${PIPESTATUS[0]}" != "0" ]; then |
14 | echo "Failed"; | 8 | echo "Failed"; |
15 | date; | 9 | date; |
16 | break; | 10 | break; |
17 | fi | 11 | fi |
18 | grep -B 10 Assert log && break | 12 | fi |
19 | ls core* &> /dev/null && break | 13 | grep -B 10 Assert *log && break |
20 | done | 14 | ls core* &> /dev/null && break |
21 | fi | 15 | done |