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

ludovicp
21.30.2008 208ac44ce6e3a930ca4d4cfcd1177e7bd98458dd
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.svnversion.SVNVersion
set SVNKIT_OPTIONS=-Djava.util.logging.config.file="%SVNKIT_HOME%/logging.properties"
 
"%JAVA_HOME%\bin\java" %SVNKIT_OPTIONS% -cp %SVNKIT_CLASSPATH% %SVNKIT_MAINCLASS% %*