From 87d574a2eef302c17ac2cedf40bef43ce37a3d9c Mon Sep 17 00:00:00 2001 From: michi Date: Tue, 23 Oct 2001 18:08:21 +0000 Subject: [PATCH] minor fix: prevented classpath from "growing" --- build/build.bat | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/build.bat b/build/build.bat index 36fa92e3..1987d986 100644 --- a/build/build.bat +++ b/build/build.bat @@ -27,8 +27,8 @@ goto final if "%JAVA_HOME%" == "" goto javahomeerror -if exist %JAVA_HOME%\lib\tools.jar set CLASSPATH=%CLASSPATH%;%JAVA_HOME%\lib\tools.jar set CP=%CLASSPATH%;ant.jar;jaxp.jar;crimson.jar +if exist %JAVA_HOME%\lib\tools.jar set CP=%CP%;%JAVA_HOME%\lib\tools.jar echo Classpath: %CP% echo JAVA_HOME: %JAVA_HOME%