diff build.xml @ 950:52508322a849

Drop redundant build_jreNN.xml files Run ant -Djvm.version=NN instead
author Joeri van Ruth <joeri.van.ruth@monetdbsolutions.com>
date Fri, 10 Jan 2025 09:32:06 +0100 (2 months ago)
parents 4dd3bc7162f6
children 203c4cc8d94d
line wrap: on
line diff
--- a/build.xml
+++ b/build.xml
@@ -40,9 +40,9 @@ Copyright 1997 - July 2008 CWI.
   -->
 
   <property name="jvm.version" value="8" />
-  <property name="jre.version" value="jre8" />
+  <property name="jre.version" value="jre${jvm.version}" />
   <property name="javac.flags" value="-source 8" />
-  <property name="javac.flags" value="-target 8" />
+  <property name="javac.flags" value="-target ${jvm.version}" />
   <property name="javac.flags" value="-profile compact2" />
   <property name="javac.flags" value="-Xlint" />