mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8faafb | patch | commitdiff
coulbeck
03.47.2007 2d9b3d8d2a2a325d4c11b8327a923a22afea1d16
refs
author coulbeck <coulbeck@localhost>
Thursday, May 3, 2007 21:47 +0200
committer coulbeck <coulbeck@localhost>
Thursday, May 3, 2007 21:47 +0200
commit2d9b3d8d2a2a325d4c11b8327a923a22afea1d16
tree 55c6e4beeb1b0fd99f4098979a49b87fab5938fd tree | zip | gz
parent 8faafb3aa1bfe6bfdf60518c8e3a3efe0b1bc833 view | diff 
Issue a build warning if the java version is too old.
1 files added
1 files modified
101 ■■■■■ changed files
opends/build.xml 33 ●●●●● diff | view | raw | blame | history
opends/src/build-tools/org/opends/build/tools/ValidJavaVersion.java 68 ●●●●● diff | view | raw | blame | history