mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Chris Ridd
02.30.2013 2b61c4f6aef7b99fa794eb2b47b96ab8a0c65b79
opends/build.bat
@@ -24,6 +24,7 @@
rem
rem
rem      Copyright 2008-2010 Sun Microsystems, Inc.
rem      Portions Copyright 2013 ForgeRock AS.
setlocal
@@ -34,7 +35,7 @@
:noJavaHome
echo Error: JAVA_HOME environment variable is not set.
echo        Please set it to a valid Java 5 installation.
echo        Please set it to a valid Java 6 installation.
goto end