# HG changeset patch
# User Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
# Date 1567683719 -7200
# Node ID 545032212915bca9c54c8d4666ea934773f2a2e4
# Parent  816650cda8d0b6e02210171564d517d86ba31e3a
build of java tests depends on the monetdb-jdbc.*.jar so also change it there.

diff --git a/tests/build.xml b/tests/build.xml
--- a/tests/build.xml
+++ b/tests/build.xml
@@ -25,14 +25,17 @@ Copyright 1997 - July 2008 CWI, August 2
   <property name="srcdir"    value="." />
   <property name="builddir"  value="build" />
   <property name="jardir"    value="../jars" />
+
+  <property name="jvm.version" value="1.7" />
+  <property name="jre.version" value="jre7" />
+  <property name="javac.flags" value="-Xlint:-options" />
+
   <property name="jdbc_jar"
-    value="${jardir}/monetdb-jdbc-${JDBC_MAJOR}.${JDBC_MINOR}.jar" />
+    value="${jardir}/monetdb-jdbc-${JDBC_MAJOR}.${JDBC_MINOR}.${jre.version}.jar" />
   <property name="jdbc_url"
     value="jdbc:monetdb://localhost/?user=monetdb&amp;password=monetdb${debug}" />
   <property name="jdbctests-jar"
     value="${jardir}/jdbctests.jar" />
-  <property name="jvm.version" value="1.7" />
-  <property name="javac.flags" value="-Xlint:-options" />
 
   <!-- Prepares the build directory -->
   <target name="prepare">