releases: u-boot-libre: download: fix tag fetching

Using git pull had several issues:
- It didn't necessarily fetch the required tags
- It doesn't work for diverging histories

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
This commit is contained in:
Denis 'GNUtoo' Carikli 2023-08-03 02:48:49 +02:00
parent cf2ccb080e
commit a1538782f3
Signed by: GNUtoo
GPG Key ID: 5F5DFCC14177E263
1 changed files with 2 additions and 1 deletions

View File

@ -73,7 +73,8 @@ downloadfor() {
return 1
fi
else
git -C "${uboot_dir}" pull || touch build_error
git -C "${uboot_dir}" fetch origin "${uboot_revision}" --tags || \
touch build_error
if [ -f build_error ]; then
printf \
"ERROR: %s: Problem with git-pull. Network issue?\n" \