diff options
Diffstat (limited to 'src/cadet/loopcheck.sh')
-rwxr-xr-x | src/cadet/loopcheck.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh new file mode 100755 index 000000000..2ea737ecb --- /dev/null +++ b/src/cadet/loopcheck.sh | |||
@@ -0,0 +1,8 @@ | |||
1 | #!/bin/sh | ||
2 | |||
3 | while true; do | ||
4 | date; | ||
5 | taskset 1 make check || break; | ||
6 | grep -B 10 Assert *log && break | ||
7 | ls core* &> /dev/null && break | ||
8 | done | ||