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