mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
kenneth_suter
16.59.2007 d656a5b89e070d91d438293e736363fc0df83c2b 
 opends/build.xml


@@ -678,7 +678,7 @@




    <!-- Recreate the classes directory and recompile into it. -->


    <mkdir dir="${classes.dir}" />


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


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


         destdir="${classes.dir}"


         debug="on" debuglevel="${build.debuglevel}" source="1.5" target="1.5"


         deprecation="true" fork="true" memoryInitialSize="${MEM}"