diff options
author | Remi Collet <remi@remirepo.net> | 2025-05-22 07:36:12 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2025-05-22 07:36:12 +0200 |
commit | 63bbe2f57a4dd5e372ccebf630f3a9e887fda699 (patch) | |
tree | ed3dd178509bbc9f33b73e937b59cbd02c225362 /makesrc.sh | |
parent | c13bed01294fb89f00a58eb48be055a090810526 (diff) |
Diffstat (limited to 'makesrc.sh')
-rwxr-xr-x | makesrc.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -10,14 +10,14 @@ SHORT=${COMMIT:0:7} DATE=$(date -d "$DATE -4 days" +%Y-%m-%d) -if [ -f $NAME-$VERSION-$SHORT.tgz ]; then +if [ -f $NAME-$VERSION-$SHORT.tgz -a "$1" != "-f" ]; then echo "$NAME-$VERSION-$SHORT.tgz already there" else echo -e "\nCreate git snapshot\nName=$NAME, Owner=$OWNER, Project=$PROJECT, Version=$VERSION, Date=$DATE\n" echo "Cloning..." rm -rf $PROJECT-$COMMIT - git clone --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 + git clone --branch ${VERSION:0:3} --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 echo "Getting commit..." pushd $PROJECT-$COMMIT |