summaryrefslogtreecommitdiffstats
path: root/makesrc.sh
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2025-05-22 07:36:12 +0200
committerRemi Collet <remi@php.net>2025-05-22 07:36:12 +0200
commit63bbe2f57a4dd5e372ccebf630f3a9e887fda699 (patch)
treeed3dd178509bbc9f33b73e937b59cbd02c225362 /makesrc.sh
parentc13bed01294fb89f00a58eb48be055a090810526 (diff)
update to 7.2.1HEADmaster
Diffstat (limited to 'makesrc.sh')
-rwxr-xr-xmakesrc.sh4
1 files changed, 2 insertions, 2 deletions
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