From 029f8d70d177234947082a749d8dca91f0234f2f Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Fri, 2 Aug 2024 08:16:34 +0200 Subject: update to 11.3.0 --- makesrc.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'makesrc.sh') diff --git a/makesrc.sh b/makesrc.sh index 04ad6a0..5e25d18 100755 --- a/makesrc.sh +++ b/makesrc.sh @@ -19,7 +19,9 @@ else echo "Cloning..." rm -rf $PROJECT-$COMMIT - git clone --branch $MAJOR.$MINOR --shallow-since=$DATE https://github.com/$OWNER/$PROJECT.git $PROJECT-$COMMIT || exit 1 + git clone --branch $MAJOR.$MINOR --shallow-since=$DATE 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 -- cgit