aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xsrc/cadet/loopcheck.sh3
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;