mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
fguigues
20.34.2008 2e2410712c7a0cbc20122f05c728e4f07dd1fdda 
 opends/build.xml


@@ -1911,6 +1911,7 @@


      <jvmarg value="-Demma.coverage.out.merge=false" />


      <jvmarg value="-Dorg.opends.server.BuildRoot=${basedir}" />


      <jvmarg value="-Dorg.opends.server.RunningUnitTests=true" />


      <jvmarg value="-Dorg.opends.server.snmp.opendmk=${opendmk.lib.dir}"/>


      <jvmarg value="-Dorg.opends.test.suppressOutput=${org.opends.test.suppressOutput}" />


      <jvmarg value="-Dorg.opends.test.pauseOnFailure=${org.opends.test.pauseOnFailure}" />


      <jvmarg value="-Dorg.opends.test.debug.target=${org.opends.test.debug.target}" />