mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
al_xipe
25.41.2007 651ee72e30ba51b4b91827ec9c5504596326531b 
 opends/build.xml


@@ -1019,8 +1019,9 @@


           <include name="metadata.emma" />


        </fileset>




        <txt outfile="${coverage.report.dir}/coverage.txt" />


        <txt  outfile="${coverage.report.dir}/coverage.txt" />


        <html outfile="${coverage.report.dir}/index.html" />


        <xml  outfile="${coverage.report.dir}/coverage.xml" />


      </report>




    </emma>