diff options
Diffstat (limited to 'makesrc.sh')
-rwxr-xr-x | makesrc.sh | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |