src/cadet/loopcheck.sh

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