From 0def62ee5afcb276c34b9ea46ee276efb13b87a3 Mon Sep 17 00:00:00 2001 From: p3k Date: Tue, 10 Feb 2004 13:48:45 +0000 Subject: [PATCH] fixed script to support JAVA_HOME with spaces --- build/build.bat | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/build/build.bat b/build/build.bat index 19583079..426d6069 100644 --- a/build/build.bat +++ b/build/build.bat @@ -28,12 +28,12 @@ goto final if "%JAVA_HOME%" == "" goto javahomeerror set CP=%CLASSPATH%;ant.jar;jaxp.jar;crimson.jar -if exist %JAVA_HOME%\lib\tools.jar set CP=%CP%;%JAVA_HOME%\lib\tools.jar +if exist "%JAVA_HOME%\lib\tools.jar" set CP=%CP%;%JAVA_HOME%\lib\tools.jar -echo Classpath: %CP% -echo JAVA_HOME: %JAVA_HOME% +echo Classpath: "%CP%" +echo JAVA_HOME: "%JAVA_HOME%" -%JAVA_HOME%\bin\java.exe -classpath "%CP%" %APPNAME% org.apache.tools.ant.Main -buildfile %BUILDFILE% %TARGET% +"%JAVA_HOME%\bin\java.exe" -classpath "%CP%" %APPNAME% org.apache.tools.ant.Main -buildfile %BUILDFILE% %TARGET% goto end