diff options
author | Bart Polot <bart@net.in.tum.de> | 2014-05-07 12:07:16 +0000 |
---|---|---|
committer | Bart Polot <bart@net.in.tum.de> | 2014-05-07 12:07:16 +0000 |
commit | 41716952f1d0508fb621cb5fec31406d3bd96192 (patch) | |
tree | 0ea8e1a1397babe96db05d17cb7618fc69bb88c7 /src/cadet/loopcheck.sh | |
parent | 74794f20cec6fbbd007e0921e7a347655050c024 (diff) | |
download | gnunet-41716952f1d0508fb621cb5fec31406d3bd96192.tar.gz gnunet-41716952f1d0508fb621cb5fec31406d3bd96192.zip |
Renamed directory
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 | ||