From 8ec2221567c97f223371f90e1396c7e2b95b8405 Mon Sep 17 00:00:00 2001
From: Remi Collet <fedora@famillecollet.com>
Date: Tue, 14 Jul 2015 08:45:42 +0200
Subject: php-PhpCollection: backport fedora changes

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

(limited to 'php-PhpCollection-strip.sh')

diff --git a/php-PhpCollection-strip.sh b/php-PhpCollection-strip.sh
deleted file mode 100755
index e0a65f5..0000000
--- a/php-PhpCollection-strip.sh
+++ /dev/null
@@ -1,26 +0,0 @@
-#!/bin/bash
-
-if [ $# != 2 ]; then
-	echo "Usage: $0 VERSION GITHUB_COMMIT" 1>&2
-	exit 1
-fi
-
-VERSION=$1
-GITHUB_COMMIT=$2
-
-ORIGINAL_SOURCE_FILE="${GITHUB_COMMIT}.tar.gz"
-NEW_SOURCE_FILE="php-PhpCollection-${VERSION}-${GITHUB_COMMIT}.tar.gz"
-
-if [ ! -f "$ORIGINAL_SOURCE_FILE" ]; then
-	echo "ERROR: Original source file '${ORIGINAL_SOURCE_FILE}' not found" 1>&2
-	exit 1
-fi
-
-TAR=`which tar`
-
-$TAR -xzf "$ORIGINAL_SOURCE_FILE"
-rm -rf "php-collection-${GITHUB_COMMIT}/doc" "$NEW_SOURCE_FILE"
-$TAR -czf "$NEW_SOURCE_FILE" "php-collection-${GITHUB_COMMIT}"
-
-echo "${NEW_SOURCE_FILE} created"
-exit 0
-- 
cgit