summaryrefslogtreecommitdiffstats
path: root/php/strip.sh
diff options
context:
space:
mode:
authorRemi Collet <fedora@famillecollet.com>2014-09-02 17:45:01 +0200
committerRemi Collet <fedora@famillecollet.com>2014-09-02 17:45:01 +0200
commit03d502e571b375ffd276b192ecd5128306ab3ef1 (patch)
tree2d0ddcacaecc662ee5dd362a0120cecaaa754fbc /php/strip.sh
parent2f81cc3673b7f31e71f40dc47c9242c4ea410869 (diff)
reorg repo
Diffstat (limited to 'php/strip.sh')
-rwxr-xr-xphp/strip.sh25
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