mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Jean-Noel Rouvignac
12.40.2014 dea70ae4fbbaf9f5343bdf5bce826c5712e748a3 
 opendj3-server-dev/build.xml


@@ -42,6 +42,7 @@




  <!-- General server-wide properties                                 -->


  <property name="src.dir"          location="src/server"              />


  <property name="pluggablebackend.pkg" value="org/opends/server/backends/pluggable" />


  <property name="build.dir"        location="build"                   />


  <property name="classes.dir"      location="${build.dir}/classes"    />


  <property name="build.lib.dir"    location="${build.dir}/lib"        />


@@ -678,6 +679,7 @@


      <fileset dir="${src.dir}">


        <include name="**/*.java"/>


        <exclude name="**/PublicAPI.java" />


        <exclude name="${pluggablebackend.pkg}/*.java" />


      </fileset>


      <formatter type="plain" />


    </checkstyle>


@@ -756,6 +758,7 @@


    <mkdir dir="${build.lib.dir}" />




    <javac srcdir="${src.dir}:${admin.src.dir}:${msg.src.dir}:${msg.javagen.dir}:${ads.src.dir}:${quicksetup.src.dir}:${guitools.src.dir}"


         excludes="${pluggablebackend.pkg}/**"


         destdir="${classes.dir}">


      <classpath>


        <fileset refid="opendj.runtime.jars"/>