- save old logfiles

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
     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;