From 44cea77266949c958bd293524f3505481bfe5907 Mon Sep 17 00:00:00 2001
From: Bernhard Urban <lewurm@gmail.com>
Date: Thu, 26 Apr 2012 21:05:13 +0200
Subject: [PATCH] tools: some safety checks in openjdktest.sh

---
 tools/openjdktest.sh | 24 ++++++++++++++++++++++--
 1 file changed, 22 insertions(+), 2 deletions(-)

diff --git a/tools/openjdktest.sh b/tools/openjdktest.sh
index 2456d3b..fb9a55e 100755
--- 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
-- 
2.25.1