build-boot-rpi: Retry firmware download a few times

This commit is contained in:
Johan Gunnarsson 2019-05-22 22:21:28 +02:00
parent 7f9b164b89
commit b0824d9361
1 changed files with 12 additions and 9 deletions

View File

@ -30,15 +30,18 @@ fi
# Download Raspberry Pi boot files
FIRMWARE="https://github.com/raspberrypi/firmware/raw/stable"
wget -nv "${FIRMWARE}/boot/fixup.dat" \
"${FIRMWARE}/boot/fixup_x.dat" \
"${FIRMWARE}/boot/fixup_cd.dat" \
"${FIRMWARE}/boot/fixup_db.dat" \
"${FIRMWARE}/boot/start.elf" \
"${FIRMWARE}/boot/start_x.elf" \
"${FIRMWARE}/boot/start_cd.elf" \
"${FIRMWARE}/boot/start_db.elf" \
"${FIRMWARE}/boot/bootcode.bin"
wget --tries 3 \
--retry-on-http-error 500,502,503,504 \
--no-verbose \
"${FIRMWARE}/boot/fixup.dat" \
"${FIRMWARE}/boot/fixup_x.dat" \
"${FIRMWARE}/boot/fixup_cd.dat" \
"${FIRMWARE}/boot/fixup_db.dat" \
"${FIRMWARE}/boot/start.elf" \
"${FIRMWARE}/boot/start_x.elf" \
"${FIRMWARE}/boot/start_cd.elf" \
"${FIRMWARE}/boot/start_db.elf" \
"${FIRMWARE}/boot/bootcode.bin"
# Magic thing to get debug output
sed -i -e "s/BOOT_UART=0/BOOT_UART=1/" bootcode.bin