mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 720524 | patch | commitdiff
neil_a_wilson
19.54.2007 e920c488e19472881dd65f4bbb379d565f1f156e
refs
author neil_a_wilson <neil_a_wilson@localhost>
Friday, January 19, 2007 23:54 +0100
committer neil_a_wilson <neil_a_wilson@localhost>
Friday, January 19, 2007 23:54 +0100
commite920c488e19472881dd65f4bbb379d565f1f156e
tree 87458ee81dcf63719ac389e64162f3453d759c7b tree | zip | gz
parent 7205246538b288be0341f55c95870bb0f39c943c view | diff 
Update the build script so that the coveragediff facility is used when building
with the precommit and all targets.
1 files modified
4 ■■■■■ changed files
opends/build.xml 4 ●●●●● diff | view | raw | blame | history