User: starksm Date: 01/06/11 14:13:59 Modified: jetty/src/build build.bat Log: Update build.bat to be in synch with build.sh Revision Changes Path 1.2 +27 -18 contrib/jetty/src/build/build.bat Index: build.bat =================================================================== RCS file: /cvsroot/jboss/contrib/jetty/src/build/build.bat,v retrieving revision 1.1 retrieving revision 1.2 diff -u -r1.1 -r1.2 --- build.bat 2000/12/20 14:56:03 1.1 +++ build.bat 2001/06/11 21:13:59 1.2 @@ -1,23 +1,32 @@ @echo off -REM $Id: build.bat,v 1.1 2000/12/20 14:56:03 oleg Exp $ +REM $Id: build.bat,v 1.2 2001/06/11 21:13:59 starksm Exp $ -if not "%JBOSS_HOME%" == "" goto jetty_home_check -echo JBOSS_HOME is not set. You need jboss 2.0PR3+ -goto abort +if not exist "%JBOSS_HOME%\bin\run.jar" ( + echo $JBOSS_HOME/bin/run.jar does not exist + echo set JBOSS_HOME to your JBoss dist directory + exit 1 +) +if not exist "%JETTY_HOME%\lib\com.mortbay.jetty.jar" ( + echo %JETTY_HOME%/lib/com.mortbay.jetty.jar does not exist + echo set JETTY_HOME to your Jetty3 directory + exit 1 +) + +if not exist "%JETTY_EXTRA%/jmx/lib/com.mortbay.jetty.jmx.jar" ( + echo %JETTY_EXTRA%/jmx/lib/com.mortbay.jetty.jmx.jar does not exist + echo set JETTY_EXTRA to your Jetty3Extra directory + exit 1 +) -: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=..\..\build\classes +SET CLASSPATH=%CLASSPATH%;..\..\..\tomcat\lib\ant.jar SET CLASSPATH=%CLASSPATH%;..\..\..\tomcat\lib\javac.jar +SET CLASSPATH=%CLASSPATH%;%JBOSS_HOME%\lib\jaxp.jar +SET CLASSPATH=%CLASSPATH%;%JBOSS_HOME%\lib\crimson.jar +SET CLASSPATH=%CLASSPATH%;%JBOSS_HOME%\lib\jboss-jaas.jar +SET CLASSPATH=%CLASSPATH%;%JBOSS_HOME%\lib\ext\jbosssx.jar +SET CLASSPATH=%CLASSPATH%;%JETTY_EXTRA%\jmx\lib\com.mortbay.jetty.jmx.jar + +SET OPTS= -Djetty.home="%JETTY_HOME%" -Djboss.home="%JBOSS_HOME%" -Djetty.extra="%JETTY_EXTRA%" +java %OPTS% org.apache.tools.ant.Main %* -java -Djetty.home=%JETTY_HOME% -Djboss.home=%JBOSS_HOME% org.apache.tools.ant.Main %* _______________________________________________ Jboss-development mailing list [EMAIL PROTECTED] http://lists.sourceforge.net/lists/listinfo/jboss-development
