From 63bbe2f57a4dd5e372ccebf630f3a9e887fda699 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 22 May 2025 07:36:12 +0200 Subject: update to 7.2.1 --- makesrc.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'makesrc.sh') diff --git a/makesrc.sh b/makesrc.sh index b959795..ad68348 100755 --- a/makesrc.sh +++ b/makesrc.sh @@ -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 -- cgit