diff options
Diffstat (limited to 'releng/org.eclipse.rse.updatesite/bin/pack200')
| -rwxr-xr-x | releng/org.eclipse.rse.updatesite/bin/pack200 | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/releng/org.eclipse.rse.updatesite/bin/pack200 b/releng/org.eclipse.rse.updatesite/bin/pack200 deleted file mode 100755 index 1bdf59749..000000000 --- a/releng/org.eclipse.rse.updatesite/bin/pack200 +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh -# -# Workaround for downgrading effort of pack200 to avoid VM bug -# See https://bugs.eclipse.org/bugs/show_bug.cgi?id=154069 -# -curdir=`pwd` -cd `dirname $0` -mydir=`pwd` -cd "$curdir" - -rm "$mydir/pack200.stamp" -touch "$mydir/pack200.stamp" -date >> "$mydir/pack200.stamp" -echo "pack200 -E4 $*" >> "$mydir/pack200.stamp" -pack200 -E4 $* |