diff options
author | Remi Collet <remi@remirepo.net> | 2024-02-05 09:36:00 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2024-02-05 09:36:00 +0100 |
commit | b1300140f233c431c0496b1dba7683f6649f7fe3 (patch) | |
tree | 5d0700fd7bd562c9858f2863b9d80fbd1f799abb /makesrc.sh | |
parent | 62903f21ad07faea660c7213588097b639ce6103 (diff) |
raise dependency on PHP 8.2
rename to php-sebastian-version5
move to /usr/share/php/SebastianBergmann/Version5
Diffstat (limited to 'makesrc.sh')
-rwxr-xr-x | makesrc.sh | 9 |
1 files changed, 6 insertions, 3 deletions
@@ -1,20 +1,23 @@ #!/bin/bash NAME=$(basename $PWD) +DATE=$(sed -n '/^%global gh_date/{s/.* //;p}' $NAME.spec) OWNER=$(sed -n '/^%global gh_owner/{s/.* //;p}' $NAME.spec) PROJECT=$(sed -n '/^%global gh_project/{s/.* //;p}' $NAME.spec) -VERSION=$(sed -n '/^%global upstream_version/{s/.* //;p}' $NAME.spec) +VERSION=$(sed -n '/^Version:/{s/.* //;p}' $NAME.spec) COMMIT=$(sed -n '/^%global gh_commit/{s/.* //;p}' $NAME.spec) SHORT=${COMMIT:0:7} +DATE=$(date -d "$DATE -4 days" +%Y-%m-%d) + if [ -f $NAME-$VERSION-$SHORT.tgz ]; then echo "$NAME-$VERSION-$SHORT.tgz already there" else - echo -e "\nCreate git snapshot\nName=$NAME, Owner=$OWNER, Project=$PROJECT, Version=$VERSION\n" + echo -e "\nCreate git snapshot\nName=$NAME, Owner=$OWNER, Project=$PROJECT, Version=$VERSION, Date=$DATE\n" echo "Cloning..." rm -rf $PROJECT-$COMMIT - git clone https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT + git clone --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 echo "Getting commit..." pushd $PROJECT-$COMMIT |