diff options
| author | Bart Polot <bart@net.in.tum.de> | 2015-10-02 15:07:43 +0000 |
|---|---|---|
| committer | Bart Polot <bart@net.in.tum.de> | 2015-10-02 15:07:43 +0000 |
| commit | f8ab2ae102ea323c35185cbec55c7cd2803673ab (patch) | |
| tree | a469839f1d01dbf18409a151195958700f3cf490 /src/cadet | |
| parent | 60344e803ae3cd119395e1b975284f00729236b4 (diff) | |
| download | gnunet-f8ab2ae102ea323c35185cbec55c7cd2803673ab.tar.gz gnunet-f8ab2ae102ea323c35185cbec55c7cd2803673ab.zip | |
- only break for cadet errors
Diffstat (limited to 'src/cadet')
| -rwxr-xr-x | src/cadet/loopcheck.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh index cdbe822cf..b9e9d7b49 100755 --- a/src/cadet/loopcheck.sh +++ b/src/cadet/loopcheck.sh | |||
| @@ -3,7 +3,7 @@ while true; do | |||
| 3 | if [ "$1" == "" ]; then | 3 | if [ "$1" == "" ]; then |
| 4 | taskset 1 make check || break; | 4 | taskset 1 make check || break; |
| 5 | else | 5 | else |
| 6 | LOGFILE="`date "+%m.%d-%H:%M:%S"`.log" | 6 | LOGFILE="test_`date "+%m.%d-%H:%M:%S"`.log" |
| 7 | taskset 1 $1 |& tee $LOGFILE | grep -v DEBUG; | 7 | taskset 1 $1 |& tee $LOGFILE | grep -v DEBUG; |
| 8 | if [ "${PIPESTATUS[0]}" != "0" ]; then | 8 | if [ "${PIPESTATUS[0]}" != "0" ]; then |
| 9 | echo "Failed"; | 9 | echo "Failed"; |
| @@ -11,7 +11,7 @@ while true; do | |||
| 11 | break; | 11 | break; |
| 12 | fi | 12 | fi |
| 13 | fi | 13 | fi |
| 14 | grep -B 10 ERROR *?*.log && break | 14 | grep cadet test_*.log | grep -B 10 ERROR && break |
| 15 | grep -B 10 Assert *?*.log && break | 15 | grep cadet test_*.log | grep -B 10 Assert && break |
| 16 | ls core* &> /dev/null && break | 16 | ls core* &> /dev/null && break |
| 17 | done | 17 | done |