diff options
| author | Remi Collet <remi@remirepo.net> | 2024-01-14 08:41:37 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2024-01-14 08:41:37 +0100 |
| commit | 43a77b8c4c93d4eb5f6c524837d58cea3a97f0f8 (patch) | |
| tree | 4b6fb1902e234c0141414dd60ba4699f75b6a7a4 /makesrc.sh | |
| parent | ac4112aaa8434c373ad7f250aa0dc0bf50eb95d4 (diff) | |
update to 10.5.6
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 --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 echo "Getting commit..." pushd $PROJECT-$COMMIT |