From 3554eab54a4b5fe1ee527bdda894bb3c2d59a3ba Mon Sep 17 00:00:00 2001
From: Bart Polot <bart@net.in.tum.de>
Date: Mon, 21 Jul 2014 00:15:13 +0000
Subject: [PATCH] - save old logfiles

---
 src/cadet/loopcheck.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
     if [ "$1" == "" ]; then
 	taskset 1 make check || break;
     else
-	taskset 1 $1 |& tee log | grep -v DEBUG;
+	LOGFILE="`date "+%m.%d-%H:%M:%S"`.log"
+	taskset 1 $1 |& tee $LOGFILE | grep -v DEBUG;
 	if [ "${PIPESTATUS[0]}" != "0" ]; then
 	    echo "Failed";
 	    date;
-- 
2.25.1