mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 00db71 | patch | commitdiff
neil_a_wilson
19.54.2007 ed7a7097ff85f580a5035bf91f49223b714cfc18
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
commited7a7097ff85f580a5035bf91f49223b714cfc18
tree 8d2211a76e981f774b679143abf7a74f40d59a8a tree | zip | gz
parent 00db71b1247ba9a05062e452441c19ccb7b16b43 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
opendj-sdk/opends/build.xml 4 ●●●●● diff | view | raw | blame | history