User: oleg Date: 00/12/20 06:56:04 Added: jetty/src/build build.bat Log: Windows build script added Revision Changes Path 1.1 contrib/jetty/src/build/build.bat Index: build.bat =================================================================== @echo off REM $Id: build.bat,v 1.1 2000/12/20 14:56:03 oleg Exp $ if not "%JBOSS_HOME%" == "" goto jetty_home_check echo JBOSS_HOME is not set. You need jboss 2.0PR3+ goto abort :jetty_home_check if not "%JETTY_HOME%" == "" goto continue echo JETTY_HOME is not set. You need jetty 3.0.0-rc5 :abort echo Aborting... exit :continue SET CLASSPATH=..\..\..\tomcat\lib\ant.jar SET CLASSPATH=%CLASSPATH%;..\..\..\tomcat\lib\xml.jar SET CLASSPATH=%CLASSPATH%;..\..\build\classes SET CLASSPATH=%CLASSPATH%;..\..\..\tomcat\lib\javac.jar java -Djetty.home=%JETTY_HOME% -Djboss.home=%JBOSS_HOME% org.apache.tools.ant.Main %*
