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