diff options
Diffstat (limited to 'files/proguard/bin/proguardgui.bat')
| -rwxr-xr-x | files/proguard/bin/proguardgui.bat | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/files/proguard/bin/proguardgui.bat b/files/proguard/bin/proguardgui.bat new file mode 100755 index 000000000..4e41570e3 --- /dev/null +++ b/files/proguard/bin/proguardgui.bat @@ -0,0 +1,17 @@ +@ECHO OFF + +REM Start-up script for the GUI of ProGuard -- free class file shrinker, +REM optimizer, 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\proguardgui.jar %1 %2 %3 %4 %5 %6 %7 %8 %9 |