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

Gary Williams
20.10.2011 aafe106e10fce3b894745b7a5fe459fef4c6afdf
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%trilead.jar";"%SVNKIT_HOME%jna.jar"
set SVNKIT_MAINCLASS=org.tmatesoft.svn.cli.svnlook.SVNLook
set SVNKIT_OPTIONS=-Djava.util.logging.config.file="%SVNKIT_HOME%/logging.properties"
 
"%JAVA_HOME%\bin\java" %SVNKIT_OPTIONS% -cp %SVNKIT_CLASSPATH% %SVNKIT_MAINCLASS% %*