mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 421bdc | patch | commitdiff
abobrov
09.21.2007 868c3f779ae4e03aa21cd7bf60caee3bae6e3b6b
refs
author abobrov <abobrov@localhost>
Monday, April 9, 2007 13:21 +0200
committer abobrov <abobrov@localhost>
Monday, April 9, 2007 13:21 +0200
commit868c3f779ae4e03aa21cd7bf60caee3bae6e3b6b
tree 8cb028e4c5629c883a3dfbedbbb7db8833b86fe2 tree | zip | gz
parent 421bdc0a19055773d1a3e97c95cea7e35cc5de71 view | diff 
enable full debug build by default and add build.debuglevel var to tweak javac -g settings.
1 files modified
57 ■■■■■ changed files
opends/build.xml 57 ●●●●● diff | view | raw | blame | history