diff options
author | Bart Polot <bart@net.in.tum.de> | 2014-07-21 00:15:13 +0000 |
---|---|---|
committer | Bart Polot <bart@net.in.tum.de> | 2014-07-21 00:15:13 +0000 |
commit | 3554eab54a4b5fe1ee527bdda894bb3c2d59a3ba (patch) | |
tree | f89ee8db9ae99cb0917b42458a4729fd424766b7 /src/cadet/loopcheck.sh | |
parent | 9ac0de85161e7cbe8795c7c275551276dd8666e4 (diff) | |
download | gnunet-3554eab54a4b5fe1ee527bdda894bb3c2d59a3ba.tar.gz gnunet-3554eab54a4b5fe1ee527bdda894bb3c2d59a3ba.zip |
- save old logfiles
Diffstat (limited to 'src/cadet/loopcheck.sh')
-rwxr-xr-x | src/cadet/loopcheck.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh index 9033fa141..5cd5ab638 100755 --- a/src/cadet/loopcheck.sh +++ b/src/cadet/loopcheck.sh | |||
@@ -3,7 +3,8 @@ while true; do | |||
3 | if [ "$1" == "" ]; then | 3 | if [ "$1" == "" ]; then |
4 | taskset 1 make check || break; | 4 | taskset 1 make check || break; |
5 | else | 5 | else |
6 | taskset 1 $1 |& tee log | grep -v DEBUG; | 6 | LOGFILE="`date "+%m.%d-%H:%M:%S"`.log" |
7 | taskset 1 $1 |& tee $LOGFILE | grep -v DEBUG; | ||
7 | if [ "${PIPESTATUS[0]}" != "0" ]; then | 8 | if [ "${PIPESTATUS[0]}" != "0" ]; then |
8 | echo "Failed"; | 9 | echo "Failed"; |
9 | date; | 10 | date; |