Changeset: 8053a633f548 for monetdb-java URL: https://dev.monetdb.org/hg/monetdb-java/rev/8053a633f548 Modified Files: build_jre17.xml Branch: default Log Message:
sources are compliant with java 8 diffs (12 lines): diff --git a/build_jre17.xml b/build_jre17.xml --- 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" /> _______________________________________________ checkin-list mailing list -- checkin-list@monetdb.org To unsubscribe send an email to checkin-list-le...@monetdb.org
