From a90b064525619dd4bb9c4cd99aea9467effe8fbf Mon Sep 17 00:00:00 2001
From: Remi Collet <fedora@famillecollet.com>
Date: Tue, 19 Mar 2013 17:51:14 +0100
Subject: php-JMSParser: import from rawhide

---
 php-JMSParser-strip.sh | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100755 php-JMSParser-strip.sh

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

diff --git a/php-JMSParser-strip.sh b/php-JMSParser-strip.sh
new file mode 100755
index 0000000..b155801
--- /dev/null
+++ b/php-JMSParser-strip.sh
@@ -0,0 +1,26 @@
+#!/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-JMSParser-${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 "parser-lib-${GITHUB_COMMIT}/doc" "$NEW_SOURCE_FILE"
+$TAR -czf "$NEW_SOURCE_FILE" "parser-lib-${GITHUB_COMMIT}"
+
+echo "${NEW_SOURCE_FILE} created"
+exit 0
-- 
cgit