- save old logfiles

diff --git a/src/cadet/loopcheck.sh b/src/cadet/loopcheck.sh
index 9033fa141420d1cb7ddbdbd6dced85ed5db77d1b..5cd5ab6384735d2b5920d02bfe9af5879d198e15 100755 (executable)
--- 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;