diff options
author | Ying Wang <wangying@google.com> | 2012-02-27 10:21:35 -0800 |
---|---|---|
committer | Ying Wang <wangying@google.com> | 2012-02-27 11:54:51 -0800 |
commit | cfead78069f3dc32998dc118ee08cab3867acea2 (patch) | |
tree | 9600f15eed62fa9ba63ce5894d1f09fe686d5997 /bin/proguardgui.sh | |
parent | 10aa7224f49abe49d123bde5d34346202d49aaca (diff) | |
download | android_external_proguard-cfead78069f3dc32998dc118ee08cab3867acea2.tar.gz android_external_proguard-cfead78069f3dc32998dc118ee08cab3867acea2.tar.bz2 android_external_proguard-cfead78069f3dc32998dc118ee08cab3867acea2.zip |
Upgrade from Progaurd 4.4 to 4.7.
Change-Id: Ie185d0be411a80cc6a330cafa8547252a7dc1d9c
You can find the changelog here
http://proguard.sourceforge.net/#downloads.html
Diffstat (limited to 'bin/proguardgui.sh')
-rwxr-xr-x | bin/proguardgui.sh | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/bin/proguardgui.sh b/bin/proguardgui.sh index 5a25d7b..c734906 100755 --- a/bin/proguardgui.sh +++ b/bin/proguardgui.sh @@ -2,8 +2,14 @@ # # Start-up script for the GUI of ProGuard -- free class file shrinker, # optimizer, obfuscator, and preverifier for Java bytecode. +# +# Note: when passing file names containing spaces to this script, +# you'll have to add escaped quotes around them, e.g. +# "\"/My Directory/My File.txt\"" -PROGUARD_HOME=`dirname "$0"` -PROGUARD_HOME=`dirname "$PROGUARD_HOME"` +PROGUARD_HOME=`dirname "$0"`/.. -java -jar $PROGUARD_HOME/lib/proguardgui.jar "$@" +# On Linux, Java 1.6.0_24 and higher hang when starting the GUI: +# http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=7027598 +# We're using the -D option as a workaround. +java -DsuppressSwingDropSupport=true -jar $PROGUARD_HOME/lib/proguardgui.jar "$@" |