diff options
Diffstat (limited to 'contrib/servlet/build.bat')
| -rwxr-xr-x | contrib/servlet/build.bat | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/contrib/servlet/build.bat b/contrib/servlet/build.bat deleted file mode 100755 index 12219144f..000000000 --- a/contrib/servlet/build.bat +++ /dev/null @@ -1,34 +0,0 @@ -@echo off - -echo Fop Servlet Build System -echo -------------------------- - -if "%JAVA_HOME%" == "" goto error - -set LIBDIR=../../lib -set LOCALCLASSPATH=%JAVA_HOME%\lib\tools.jar;%JAVA_HOME%\lib\classes.zip -set LOCALCLASSPATH=%LOCALCLASSPATH%;%LIBDIR%\ant.jar -set LOCALCLASSPATH=%LOCALCLASSPATH%;%LIBDIR%\xml-apis.jar -set LOCALCLASSPATH=%LOCALCLASSPATH%;%LIBDIR%\xercesImpl-2.2.1.jar -set LOCALCLASSPATH=%LOCALCLASSPATH%;%LIBDIR%\xalan-2.4.1.jar - -set ANT_HOME=%LIBDIR% - -echo Building with classpath %LOCALCLASSPATH% - -echo Starting Ant... - -%JAVA_HOME%\bin\java.exe -Dant.home=%ANT_HOME% -classpath "%LOCALCLASSPATH%" org.apache.tools.ant.Main %1 %2 %3 %4 %5 - -goto end - -:error - -echo ERROR: JAVA_HOME not found in your environment. -echo Please, set the JAVA_HOME variable in your environment to match the -echo location of the Java Virtual Machine you want to use. - -:end - -rem set LOCALCLASSPATH= - |