diff options
| author | Remi Collet <fedora@famillecollet.com> | 2015-07-14 08:45:42 +0200 |
|---|---|---|
| committer | Remi Collet <fedora@famillecollet.com> | 2015-07-14 08:45:42 +0200 |
| commit | 8ec2221567c97f223371f90e1396c7e2b95b8405 (patch) | |
| tree | bf993d7fff651f961368b2c297d8bbef5a022574 /php-PhpCollection-strip.sh | |
| parent | 589d2151865c7fc6b383f898cbf03a1db128e9bb (diff) | |
php-PhpCollection: backport fedora changes
Diffstat (limited to 'php-PhpCollection-strip.sh')
| -rwxr-xr-x | php-PhpCollection-strip.sh | 26 |
1 files changed, 0 insertions, 26 deletions
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 |