mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

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>