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

Christophe Sovant
26.18.2009 4e7101fd2097719f302d0948d855f23fff6059f8
opends/tests/staf-tests/shared/ant/tests.xml
@@ -385,7 +385,6 @@
  <target name="coverage-instrument" if="coverage.on">
    <delete dir="${tests.tmp.dir}/coverage-instr" />
    <mkdir dir="${tests.tmp.dir}/coverage-instr" />
    <mkdir dir="${tests.run.dir}/${tests.run.time}/coverage" />
    <!-- unzip the original package in a temporary location to make the
         changes necessary so that the coverage tool is called
     -->