tools: some safety checks in openjdktest.sh

diff --git a/tools/openjdktest.sh b/tools/openjdktest.sh
index 2456d3b518285de683b30a240f4ef0f737bb2a4b..fb9a55e0e81bbbb42f3730db09806a19c775bd25 100755 (executable)
--- a/tools/openjdktest.sh
+++ b/tools/openjdktest.sh
@@ -4,7 +4,7 @@ class2test=$1
 
 openjdk="java -client"
 openjdk_output=`mktemp`
-mate=./mate
+mate="./mate"
 mate_output=`mktemp`
 
 diff_output=`mktemp`
@@ -14,8 +14,28 @@ $mate $class2test | grep -e '^result:' > $mate_output
 
 diff $openjdk_output $mate_output > $diff_output
 
+openjdk_lines=`cat $openjdk_output | wc -l`
+mate_lines=`cat $mate_output | wc -l`
 diff_lines=`cat $diff_output | wc -l`
 
+function quit {
+       rm -rf $1 $2 $3
+       exit
+}
+
+if [ $openjdk_lines = 0 ]
+then
+       echo -e '\033[01;31mFAIL\033[0m:    ' $class2test
+       echo "no output by openjdk? abort"
+       quit $openjdk_output $mate_output $diff_output
+fi
+
+if [ $mate_lines = 0 ]
+then
+       echo -e '\033[01;31mFAIL\033[0m:    ' $class2test
+       echo "no output by mate? abort"
+       quit $openjdk_output $mate_output $diff_output
+fi
 
 if [ $diff_lines = 0 ]
 then
@@ -27,4 +47,4 @@ else
 fi
 
 
-rm -f $openjdk_output $mate_output $diff_output
+quit $openjdk_output $mate_output $diff_output