aboutsummaryrefslogtreecommitdiff
path: root/src/cadet/loopcheck.sh
diff options
context:
space:
mode:
authorBart Polot <bart@net.in.tum.de>2014-07-21 00:15:04 +0000
committerBart Polot <bart@net.in.tum.de>2014-07-21 00:15:04 +0000
commita38d47ab43a73882e93a6090a3d30d183527354f (patch)
treeb07fd3247364a4429459c85fd9a0708a025254ce /src/cadet/loopcheck.sh
parentcad2c97e4d575e0a6c61ab1a002a93d43ad4a9b0 (diff)
downloadgnunet-a38d47ab43a73882e93a6090a3d30d183527354f.tar.gz
gnunet-a38d47ab43a73882e93a6090a3d30d183527354f.zip
- allow to run specific checks in a loop
Diffstat (limited to 'src/cadet/loopcheck.sh')
-rwxr-xr-xsrc/cadet/loopcheck.sh25
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 2if ["$1" == ""]; then
3while 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
8done 8 done
9else
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
19fi