From 3630ef1e81c94e3a3232f6276856706933610490 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 20 Jun 2013 07:41:43 +0200 Subject: php 5.5: drop json from sources --- strip.sh | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100755 strip.sh (limited to 'strip.sh') 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 -- cgit