tools/openjdktest.sh

   1 #!/bin/bash
   2
   3 class2test=$1
   4
   5 openjdk="java -client"
   6 openjdk_output=`mktemp`
   7 mate=./mate
   8 mate_output=`mktemp`
   9
  10 diff_output=`mktemp`
  11
  12 $openjdk $class2test | grep -e '^result:' > $openjdk_output
  13 $mate $class2test | grep -e '^result:' > $mate_output
  14
  15 diff $openjdk_output $mate_output > $diff_output
  16
  17 diff_lines=`cat $diff_output | wc -l`
  18
  19
  20 if [ $diff_lines = 0 ]
  21 then
  22         echo -e '\033[01;32mSUCCESS\033[0m: ' $class2test
  23 else
  24         echo -en '\033[01;31mFAIL\033[0m:    ' $class2test
  25         echo "                                diff:"
  26         cat $diff_output
  27 fi
  28
  29
  30 rm -f $openjdk_output $mate_output $diff_output