aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorBart Polot <bart@net.in.tum.de>2014-07-21 00:15:12 +0000
committerBart Polot <bart@net.in.tum.de>2014-07-21 00:15:12 +0000
commit9ac0de85161e7cbe8795c7c275551276dd8666e4 (patch)
tree7e042f1abbe82a58bdb7a8122ebafd9849ab7d3a /src
parent690617640550bddc11e9f81cd62bc1858323272b (diff)
downloadgnunet-9ac0de85161e7cbe8795c7c275551276dd8666e4.tar.gz
gnunet-9ac0de85161e7cbe8795c7c275551276dd8666e4.zip
- simplify loopcheck
Diffstat (limited to 'src')
-rwxr-xr-xsrc/cadet/loopcheck.sh20
1 files changed, 7 insertions, 13 deletions
diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh
index 32cbddcd7..9033fa141 100755
--- a/src/cadet/loopcheck.sh
+++ b/src/cadet/loopcheck.sh
@@ -1,21 +1,15 @@
1#!/bin/sh 1#!/bin/sh
2if ["$1" == ""]; then 2while true; do
3 while true; do 3 if [ "$1" == "" ]; then
4 date;
5 taskset 1 make check || break; 4 taskset 1 make check || break;
6 grep -B 10 Assert *log && break 5 else
7 ls core* &> /dev/null && break
8 done
9else
10 while true; do
11 date;
12 taskset 1 $1 |& tee log | grep -v DEBUG; 6 taskset 1 $1 |& tee log | grep -v DEBUG;
13 if [ "${PIPESTATUS[0]}" != "0" ]; then 7 if [ "${PIPESTATUS[0]}" != "0" ]; then
14 echo "Failed"; 8 echo "Failed";
15 date; 9 date;
16 break; 10 break;
17 fi 11 fi
18 grep -B 10 Assert log && break 12 fi
19 ls core* &> /dev/null && break 13 grep -B 10 Assert *log && break
20 done 14 ls core* &> /dev/null && break
21fi 15done