diff options
Diffstat (limited to 'net/jgroups/files/patch-build.xml')
| -rw-r--r-- | net/jgroups/files/patch-build.xml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/net/jgroups/files/patch-build.xml b/net/jgroups/files/patch-build.xml new file mode 100644 index 000000000000..d0c9bf6ae90b --- /dev/null +++ b/net/jgroups/files/patch-build.xml @@ -0,0 +1,18 @@ +--- build.xml.orig 2025-12-14 20:22:21 UTC ++++ build.xml +@@ -92,7 +92,6 @@ + depends="prepare" + description="Compiles all Java files"> + <javac destdir="${compile.dir}" +- source="1.6" + classpathref="jg.classpath" + includeantruntime="false" + debug="on" +@@ -115,7 +114,6 @@ + depends="prepare" + description="Compiles all Java files"> + <javac destdir="${compile.dir}" +- source="1.6" + classpathref="jg.classpath" + includeantruntime="false" + debug="on" |