1. Topics
  2. [PATCH] [MAMDA] JDK-1.7

[PATCH] [MAMDA] JDK-1.7

Ian Bell <IBell@...>
 

commit 0747f4e1576b405113af509368b50f3dd2e2f0d8

Author: Ian Bell <IBell@...>

Date:   Thu May 17 21:49:45 2012 +0100

 

    [mamda] Fixed build for Java 1.7

    Signed-off-by: Ian Bell <IBell@...>

 

diff --git a/mamda/java/build.xml b/mamda/java/build.xml

index 395fad4..7300e68 100644

--- a/mamda/java/build.xml

+++ b/mamda/java/build.xml

@@ -11,6 +11,7 @@

      <echo message="ant.java.version=${ant.java.version}"></echo>

      <condition property="isJava5or6">

      <or>

+     <equals arg1="${ant.java.version}" arg2="1.7"></equals>

      <equals arg1="${ant.java.version}" arg2="1.6"></equals>

      <equals arg1="${ant.java.version}" arg2="1.5"></equals>

      </or>


Please consider the environment before printing this e-mail.

This e-mail may contain confidential and/or privileged information. If you are not the intended recipient or have received this e-mail in error, please advise the sender immediately by reply e-mail and delete this message and any attachments without retaining a copy.

Any unauthorised copying, disclosure or distribution of the material in this e-mail is strictly forbidden.

?
jdk17.patch

1 - 1 of 1