changeset 821:8053a633f548

sources are compliant with java 8
author Martin van Dinther <martin.van.dinther@monetdbsolutions.com>
date Thu, 14 Dec 2023 14:59:28 +0100 (16 months ago)
parents 4c35009cd59c
children ad4491372c2c
files build_jre17.xml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/build_jre17.xml
+++ b/build_jre17.xml
@@ -41,7 +41,7 @@ Copyright 1997 - July 2008 CWI, August 2
 
   <property name="jvm.version" value="17" />
   <property name="jre.version" value="jre17" />
-  <property name="javac.flags" value="-source 17" />
+  <property name="javac.flags" value="-source 8" />
   <property name="javac.flags" value="-target 17" />
   <property name="javac.flags" value="-profile compact2" />
   <property name="javac.flags" value="-Xlint" />