mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Nicolas Capponi
28.34.2014 1d5d1a6a4a0a58d6bb4803527dacb6641c027816 
 opendj3-server-dev/build.xml


@@ -785,7 +785,7 @@


          <include name="build-tools.jar" />


        </fileset>


         <fileset dir="${lib.dir}/compile">


           <include name="i18n-core.jar" />


           <include name="*.jar" />


         </fileset>


        <pathelement path="${classes.dir}"/>


      </classpath>


@@ -804,7 +804,7 @@


      <include name="**/org/opends/server/types/OpenDsException.java"/>


      <classpath>


         <fileset dir="${lib.dir}/compile">


             <include name="i18n-core.jar" />


            <include name="*.jar" />


         </fileset>


      </classpath>


    </javac>


@@ -814,7 +814,7 @@


          <include name="build-tools.jar" />


        </fileset>


         <fileset dir="${lib.dir}/compile">


             <include name="i18n-core.jar" />


            <include name="*.jar" />


         </fileset>


        <pathelement path="${classes.dir}"/>


      </classpath>