diff options
Diffstat (limited to 'files/proguard/bin/proguard.bat')
-rwxr-xr-x | files/proguard/bin/proguard.bat | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/files/proguard/bin/proguard.bat b/files/proguard/bin/proguard.bat new file mode 100755 index 000000000..52cc99088 --- /dev/null +++ b/files/proguard/bin/proguard.bat @@ -0,0 +1,17 @@ +@ECHO OFF + +REM Start-up script for ProGuard -- free class file shrinker, optimizer, +REM obfuscator, and preverifier for Java bytecode. + +rem Change current directory and drive to where the script is, to avoid +rem issues with directories containing whitespaces. +cd /d %~dp0 + +IF EXIST "%PROGUARD_HOME%" GOTO home +SET PROGUARD_HOME=.. +:home + +set java_exe= +call "%PROGUARD_HOME%"\..\lib\find_java.bat + +call %java_exe% -jar "%PROGUARD_HOME%"\lib\proguard.jar %* |