diff options
author | Remi Collet <fedora@famillecollet.com> | 2014-09-02 17:45:01 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2014-09-02 17:45:01 +0200 |
commit | 46df59e5da7155edb7a87212863af57fd60bde29 (patch) | |
tree | b1b4d2e5565d67a379c36277bef16dcda670b58e /strip.sh |
reorg repo
Diffstat (limited to 'strip.sh')
-rwxr-xr-x | strip.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/strip.sh b/strip.sh new file mode 100755 index 0000000..5939bec --- /dev/null +++ b/strip.sh @@ -0,0 +1,25 @@ +#!/bin/sh + +if [ -z "$1" ]; then + echo "usage $0 version" + exit 1; +fi +if [ ! -f php-$1.tar.xz ]; then + echo "missing php-$1.tar.xz archive" + exit 2; +fi +old=$(mktemp) +new=$(mktemp) + +echo "Untar..." +tar xf php-$1.tar.xz +rm -rf php-$1/ext/json +echo "Tar..." +tar cJf php-$1-strip.tar.xz php-$1 + +echo "Diff..." +tar tf php-$1.tar.xz | sort >$old +tar tf php-$1-strip.tar.xz | sort >$new +diff $old $new + +rm -f $old $new |