diff options
| -rwxr-xr-x | makesrc.sh | 6 | ||||
| -rw-r--r-- | phpunit10.spec | 9 |
2 files changed, 10 insertions, 5 deletions
@@ -5,10 +5,12 @@ 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) +MAJOR=$(sed -n '/^%global ver_major/{s/.* //;p}' $NAME.spec) +MINOR=$(sed -n '/^%global ver_minor/{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) +DATE=$(date -d "$DATE -1 week" +%Y-%m-%d) if [ -f $NAME-$VERSION-$SHORT.tgz ]; then echo "$NAME-$VERSION-$SHORT.tgz already there" @@ -17,7 +19,7 @@ else echo "Cloning..." rm -rf $PROJECT-$COMMIT - git clone https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 + git clone --branch $MAJOR.$MINOR --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 echo "Getting commit..." pushd $PROJECT-$COMMIT diff --git a/phpunit10.spec b/phpunit10.spec index f81da32..0e1f183 100644 --- a/phpunit10.spec +++ b/phpunit10.spec @@ -20,8 +20,8 @@ %bcond_with defcmd %endif -%global gh_commit c726f0de022368f6ed103e452a765d3304a996a4 -%global gh_date 2024-04-17 +%global gh_commit 547d314dc24ec1e177720d45c6263fb226cc2ae3 +%global gh_date 2024-04-24 %global gh_short %(c=%{gh_commit}; echo ${c:0:7}) %global gh_owner sebastianbergmann %global gh_project phpunit @@ -34,7 +34,7 @@ %global ver_major 10 %global ver_minor 5 -%global upstream_version 10.5.19 +%global upstream_version 10.5.20 #global upstream_prever dev Name: %{pk_project}%{ver_major} @@ -323,6 +323,9 @@ exit $ret %changelog +* Wed Apr 24 2024 Remi Collet <remi@remirepo.net> - 10.5.20-1 +- update to 10.5.20 + * Thu Apr 18 2024 Remi Collet <remi@remirepo.net> - 10.5.19-1 - update to 10.5.19 |