scripts/extract-result.sh

   1 #!/bin/sh
   2 #
   3 # $Id$
   4 #
   5
   6 if grep 'All test(s) were succesful' $1 > /dev/null; then
   7
   8     echo "      All test(s) were succesful"
   9
  10 else
  11
  12         T=`grep 'Failed test(s) were:' $1 | sed 's/[^:]*: *//'`
  13
  14         echo "  Failed test(s) were:"
  15         echo
  16         for a in $T ; do
  17             echo "      $a"
  18         done
  19 fi
  20