From 03d502e571b375ffd276b192ecd5128306ab3ef1 Mon Sep 17 00:00:00 2001
From: Remi Collet <fedora@famillecollet.com>
Date: Tue, 2 Sep 2014 17:45:01 +0200
Subject: reorg repo

---
 php/strip.sh | 25 -------------------------
 1 file changed, 25 deletions(-)
 delete mode 100755 php/strip.sh

(limited to 'php/strip.sh')

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
-- 
cgit