mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

jvergara
02.08.2008 3da3689e0ed13c19dd80d3a382bb18a7da702d19
1
2
3
4
5
6
7
8
9
10
11
@echo off
 
set DEFAULT_SVNKIT_HOME=%~dp0
 
if "%SVNKIT_HOME%"=="" set SVNKIT_HOME=%DEFAULT_SVNKIT_HOME%
 
set SVNKIT_CLASSPATH= "%SVNKIT_HOME%svnkit.jar";"%SVNKIT_HOME%svnkit-cli.jar";"%SVNKIT_HOME%ganymed.jar"
set SVNKIT_MAINCLASS=org.tmatesoft.svn.cli.SVN
set SVNKIT_OPTIONS=-Djava.util.logging.config.file="%SVNKIT_HOME%/logging.properties"
 
"%JAVA_HOME%\bin\java" %SVNKIT_OPTIONS% -cp %SVNKIT_CLASSPATH% %SVNKIT_MAINCLASS% %*