diff --git a/build.xml b/build.xml index 0b91775b5..8b8987980 100644 --- a/build.xml +++ b/build.xml @@ -28,14 +28,14 @@ - + - + @@ -140,7 +140,7 @@ - + @@ -155,11 +155,11 @@ - + - + @@ -176,34 +176,34 @@ - + - + - + - + - + - + - + @@ -211,7 +211,7 @@ - + @@ -219,15 +219,15 @@ - + - + - + @@ -235,40 +235,40 @@ - + - + - + - + - + - + - + - + @@ -276,41 +276,41 @@ - + - + - + - + - + - + - + - + @@ -318,12 +318,12 @@ - + - + @@ -714,7 +714,7 @@ - + diff --git a/src/script/ant b/src/script/ant index 66403e27c..b383d44cc 100644 --- a/src/script/ant +++ b/src/script/ant @@ -138,11 +138,6 @@ if [ -n "$JAVA_HOME" ] ; then done fi fi -else - echo "Warning: JAVA_HOME environment variable is not set (or not exported)." - echo " If build fails because sun.* classes could not be found" - echo " you will need to set the JAVA_HOME environment variable" - echo " to the installation directory of java." fi # Allow Jikes support (off by default) diff --git a/src/script/ant.bat b/src/script/ant.bat index 43d73de64..5440e2597 100755 --- a/src/script/ant.bat +++ b/src/script/ant.bat @@ -63,12 +63,6 @@ goto checkJikes :noJavaHome if "%_JAVACMD%" == "" set _JAVACMD=java.exe -echo. -echo Warning: JAVA_HOME environment variable is not set. -echo If build fails because sun.* classes could not be found -echo you will need to set the JAVA_HOME environment variable -echo to the installation directory of java. -echo. :checkJikes if not "%JIKESPATH%"=="" goto runAntWithJikes