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 | 03d502e571b375ffd276b192ecd5128306ab3ef1 (patch) | |
| tree | 2d0ddcacaecc662ee5dd362a0120cecaaa754fbc /php/strip.sh | |
| parent | 2f81cc3673b7f31e71f40dc47c9242c4ea410869 (diff) | |
reorg repo
Diffstat (limited to 'php/strip.sh')
| -rwxr-xr-x | php/strip.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/php/strip.sh b/php/strip.sh deleted file mode 100755 index 5939bec..0000000 --- a/php/strip.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/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 |