tools: missed a possible failed case

diff --git a/tools/openjdktest.sh b/tools/openjdktest.sh
index b68cbfe753c5d5904612cd00a9c16ac816eb7fba..605928d28e351606daf1c7aa4f1a1c9d73f08b4d 100755 (executable)
--- a/tools/openjdktest.sh
+++ b/tools/openjdktest.sh
@@ -50,6 +50,7 @@ else
        echo -en '\033[01;31mFAIL\033[0m:    ' $class2test
        echo "                                diff:"
        cat $diff_output
+       quit $openjdk_output $mate_output $diff_output 3
 fi