php-pear-phing: drop non-free stuff

1 files changed, 21 insertions, 0 deletions

diff --git a/strip.sh b/strip.sh
new file mode 100755
index 0000000..e376009
--- /dev/null
+++ b/strip.sh
@@ -0,0 +1,21 @@
+#!/bin/sh
+
+name=phing
+list=$(mktemp)
+
+if [ -f $name-$1.tgz ]; then
+	tar xif $name-$1.tgz
+	tar tf $name-$1.tgz | sort >$list.old
+
+	rm -r $name-$1/tasks/ext/jsmin
+	sed -e '/tasks\/ext\/jsmin/d' -i package.xml
+
+	tar czf $name-$1-strip.tgz package.xml $name-$1
+	tar tf $name-$1-strip.tgz | grep -v '/$' | sort >$list.new
+
+	diff -u $list.old $list.new
+	rm -rf $name-$1 package.xml
+else
+	echo "usage $0 <version>"
+fi
+rm -f  $list*