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