experiments with JNI;

[mate.git] / tools / openjdktest.sh

diff --git a/tools/openjdktest.sh b/tools/openjdktest.sh
index b68cbfe753c5d5904612cd00a9c16ac816eb7fba..e07757254dd4a5c69896cfa52a11b631b8eec18f 100755 (executable)
--- a/tools/openjdktest.sh
+++ b/tools/openjdktest.sh
@@ -8,7 +8,7 @@ fi
 
 class2test=$1
 
-openjdk="java -client"
+openjdk="java -client -Djava.library.path=rts/mock"
 openjdk_output=`mktemp`
 mate="./mate"
 mate_output=`mktemp`
@@ -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