diff options
author | Bart Polot <bart@net.in.tum.de> | 2014-07-21 00:15:04 +0000 |
---|---|---|
committer | Bart Polot <bart@net.in.tum.de> | 2014-07-21 00:15:04 +0000 |
commit | a38d47ab43a73882e93a6090a3d30d183527354f (patch) | |
tree | b07fd3247364a4429459c85fd9a0708a025254ce /src/cadet/loopcheck.sh | |
parent | cad2c97e4d575e0a6c61ab1a002a93d43ad4a9b0 (diff) | |
download | gnunet-a38d47ab43a73882e93a6090a3d30d183527354f.tar.gz gnunet-a38d47ab43a73882e93a6090a3d30d183527354f.zip |
- allow to run specific checks in a loop
Diffstat (limited to 'src/cadet/loopcheck.sh')
-rwxr-xr-x | src/cadet/loopcheck.sh | 25 |
1 files changed, 18 insertions, 7 deletions
diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh index 2ea737ecb..4366e2082 100755 --- a/src/cadet/loopcheck.sh +++ b/src/cadet/loopcheck.sh | |||
@@ -1,8 +1,19 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | 2 | if ["$1" == ""]; then | |
3 | while true; do | 3 | while true; do |
4 | date; | 4 | date; |
5 | taskset 1 make check || break; | 5 | taskset 1 make check || break; |
6 | grep -B 10 Assert *log && break | 6 | grep -B 10 Assert *log && break |
7 | ls core* &> /dev/null && break | 7 | ls core* &> /dev/null && break |
8 | done | 8 | done |
9 | else | ||
10 | while true; do | ||
11 | date; | ||
12 | taskset 1 $1 |& tee log | grep -v DEBUG; | ||
13 | if [ "${PIPESTATUS[0]}" != "0" ]; then | ||
14 | echo "Failed"; | ||
15 | date; | ||
16 | break; | ||
17 | fi | ||
18 | done | ||
19 | fi | ||