File mockobjects-buildjdk.patch of Package mockobjects

Overview Repositories Revisions Requests Users Attributes Meta

File mockobjects-buildjdk.patch of Package mockobjects

--- build.xml.sav0	2003-05-22 00:34:20.000000000 +0200
+++ build.xml	2008-07-01 13:18:01.000000000 +0200
@@ -24,6 +24,8 @@
     <property name="year" value="2002" />
     <property name="debug" value="on" />
     <property name="optimize" value="off" />
+    <property name="source" value="1.4" />
+    <property name="target" value="1.4" />
     <property name="deprecation" value="off" />
   </target>
 
@@ -115,6 +117,8 @@
            debug="${debug}"
            verbose="false"
            optimize="${optimize}"
+           source="${source}"
+           target="${target}"
            srcdir="${src.core.dir}">
       <classpath>
         <path refid="lib.classpath" />
@@ -129,6 +133,8 @@
 
     <mkdir dir="${jdk.classes}" />
     <javac destdir="${jdk.classes}" debug="${debug}" verbose="false"
+            source="${source}"
+            target="${target}"
 	    optimize="${optimize}">
       <src path="${src.jdk.dir}/${jdk.version}" />
       <src path="${src.jdk.dir}/common" />
@@ -151,6 +157,8 @@
            debug="${debug}"
            deprecation="${deprecation}"
            verbose="false"
+           source="${source}"
+           target="${target}"
            optimize="${optimize}">
 
       <src path="${src.j2ee.dir}/common" />
@@ -214,6 +222,8 @@
 
       <javac destdir="${httpclient.classes}" debug="${debug}"
         deprecation="${deprecation}" verbose="false"
+        source="${source}"
+        target="${target}"
         optimize="${optimize}">
 
         <src path="${src.httpclient.dir}"/>
@@ -248,7 +258,7 @@
   </target>
 
   <target name="jar-jdk"
-          depends="deliverable-names"
+          depends="compile-jdk, deliverable-names"
           description="Generate jdk mockobjects jar">
     <antcall target="_inner-jar">
       <param name="jarfile.name"

Places

File mockobjects-buildjdk.patch of Package mockobjects

Places