diff options
author | Remi Collet <remi@remirepo.net> | 2024-02-08 09:19:47 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2024-02-08 09:19:47 +0100 |
commit | 37c1fdaa9d796e8e000a9ab9475c5bb7585c98c0 (patch) | |
tree | 0afe051bf9452ff1af1a3b90fa04d8d59318be3e /makesrc.sh | |
parent | a6110aec01b1b238932be3b3e1828bd4493ee486 (diff) |
update to 7.1.2
update bundled bartlett/php-compatinfo-db to 6.2.1
Diffstat (limited to 'makesrc.sh')
-rwxr-xr-x | makesrc.sh | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -1,17 +1,20 @@ #!/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) COMMIT=$(sed -n '/^%global gh_commit/{s/.* //;p}' $NAME.spec) SHORT=${COMMIT:0:7} +DATE=$(date -d "$DATE -4 days" +%Y-%m-%d) + echo -e "\nCreate git snapshot\nName=$NAME, Owner=$OWNER, Project=$PROJECT, Version=$VERSION, Commit=$COMMIT\n" echo "Cloning..." rm -rf $HOME/.cache/bartlett -git clone https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT +git clone --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT echo "Getting commit..." pushd $PROJECT-$COMMIT |