diff options
| author | Remi Collet <remi@remirepo.net> | 2024-01-19 09:36:10 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2024-01-19 09:36:10 +0100 |
| commit | 7e49a53b53a42378eaaa2a45a5d14a8cc39e52fa (patch) | |
| tree | eb36fa6d494277e1ffea1068cd6fb6f2da062f0a /makesrc.sh | |
| parent | e65f2eb91fb9eabb6af05343f949347793614bc5 (diff) | |
update to 9.6.16
Diffstat (limited to 'makesrc.sh')
| -rwxr-xr-x | makesrc.sh | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,6 +1,7 @@ #!/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) @@ -10,11 +11,11 @@ SHORT=${COMMIT:0:7} 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 --jobs 8 https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 echo "Getting commit..." pushd $PROJECT-$COMMIT |