diff options
| -rw-r--r-- | mail/davmail/files/patch-build.xml | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/mail/davmail/files/patch-build.xml b/mail/davmail/files/patch-build.xml index 9bd8df1e8b33..1026b3728346 100644 --- a/mail/davmail/files/patch-build.xml +++ b/mail/davmail/files/patch-build.xml @@ -1,6 +1,14 @@ ---- build.xml.orig 2015-05-23 02:27:12 UTC -+++ build.xml -@@ -59,7 +59,7 @@ +--- build.xml.orig 2015-07-04 15:28:32.000000000 -0700 ++++ build.xml 2015-07-04 15:28:59.000000000 -0700 +@@ -26,6 +26,7 @@ + <or> + <equals arg1="${ant.java.version}" arg2="1.6"/> + <equals arg1="${ant.java.version}" arg2="1.7"/> ++ <equals arg1="${ant.java.version}" arg2="1.8"/> + </or> + </condition> + +@@ -59,7 +60,7 @@ </target> <target name="defaultrelease" unless="is.svn"> |