diff options
| author | Remi Collet <remi@remirepo.net> | 2026-04-22 09:33:50 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2026-04-22 09:33:50 +0200 |
| commit | 4c5c6bc46a8c0f70b8fa93ef0d18816c021ff673 (patch) | |
| tree | d82830d33d98a83bc3ba8ac344d86b2a277d6151 /makesrc.sh | |
| parent | 1256260364c8aed3e69104f72e96db2bbd06677c (diff) | |
update bundled bartlett/php-compatinfo-db to 6.31.0
Diffstat (limited to 'makesrc.sh')
| -rwxr-xr-x | makesrc.sh | 14 |
1 files changed, 5 insertions, 9 deletions
@@ -5,21 +5,17 @@ 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 -e "\nCreate git snapshot\nName=$NAME, Owner=$OWNER, Project=$PROJECT, Version=$VERSION\n" echo "Cloning..." rm -rf $HOME/.cache/bartlett -git clone --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT +git clone https://github.com/$OWNER/$PROJECT.git --depth 1 --branch $VERSION $PROJECT-$VERSION echo "Getting commit..." - pushd $PROJECT-$COMMIT - git checkout $COMMIT || exit 1 - + pushd $PROJECT-$VERSION echo "+ Save composer.json" cp composer.json ../ module load php81 @@ -43,10 +39,10 @@ echo "Getting commit..." popd echo "Archiving..." -tar czf $NAME-$VERSION-$SHORT.tgz --exclude-vcs $PROJECT-$COMMIT +tar czf $NAME-$VERSION.tgz --exclude-vcs $PROJECT-$VERSION echo "Cleaning..." -rm -rf $PROJECT-$COMMIT +rm -rf $PROJECT-$VERSION rm -rf $HOME/.cache/bartlett echo "Done." |
