mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
fguigues
20.34.2008 7a40ec7d77a238d0f136b59444ee8c6b1b782502 
 opendj-sdk/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}" />