diff options
-rwxr-xr-x | src/cadet/loopcheck.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh index 5cd5ab638..65450da31 100755 --- a/src/cadet/loopcheck.sh +++ b/src/cadet/loopcheck.sh | |||
@@ -11,6 +11,7 @@ while true; do | |||
11 | break; | 11 | break; |
12 | fi | 12 | fi |
13 | fi | 13 | fi |
14 | grep -B 10 Assert *log && break | 14 | grep -B 10 ERROR test*log && break |
15 | grep -B 10 Assert test*log && break | ||
15 | ls core* &> /dev/null && break | 16 | ls core* &> /dev/null && break |
16 | done | 17 | done |