diff options
Diffstat (limited to 'files/proguard/bin/proguardgui.bat')
| -rwxr-xr-x | files/proguard/bin/proguardgui.bat | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/files/proguard/bin/proguardgui.bat b/files/proguard/bin/proguardgui.bat deleted file mode 100755 index 4e41570e3..000000000 --- a/files/proguard/bin/proguardgui.bat +++ /dev/null @@ -1,17 +0,0 @@ -@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 |