ecj/fix-build.patch

12 lines
443 B
Diff

--- a/build.xml 2023-08-21 13:18:06.079833092 +0200
+++ b/build.xml 2023-08-21 13:18:27.466641958 +0200
@@ -27,7 +27,7 @@
debuglevel="lines,source"
debug="true"
release="11">
- <compilerarg line="-Xlint:none --patch-module java.compiler=javax17api.jar"/>
+ <compilerarg line="-Xlint:none --patch-module java.compiler=javax18api.jar"/>
</javac>
<delete file="${basedir}/META-INF/MANIFEST.MF" failonerror="false"/>