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

abobrov
18.24.2008 d5e86cdd9e41cf63e147c4811cf292fa4e7b58b7
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.SVNSync
set SVNKIT_OPTIONS=-Djava.util.logging.config.file="%SVNKIT_HOME%/logging.properties"
 
"%JAVA_HOME%\bin\java" %SVNKIT_OPTIONS% -cp %SVNKIT_CLASSPATH% %SVNKIT_MAINCLASS% %*