src/cadet/loopcheck.sh

   1 #!/bin/sh
   2 if ["$1" == ""]; then
   3     while true; do
   4         date;
   5         taskset 1 make check || break;
   6         grep -B 10 Assert *log && break
   7         ls core* &> /dev/null && break
   8     done
   9 else
  10     while true; do
  11         date;
  12         taskset 1 $1 |& tee log | grep -v DEBUG;
  13         if [ "${PIPESTATUS[0]}" != "0" ]; then
  14             echo "Failed";
  15             date;
  16             break;
  17         fi
  18     done
  19 fi