From 1ac711c86497aaf977855f883c43287cd8921870 Mon Sep 17 00:00:00 2001 From: Mariusz Kogen Date: Fri, 15 Apr 2022 21:12:26 +0200 Subject: [PATCH] smarter wget If for some reason make will be interrupted, wget will try to download .zip file and cause the name is taken it will download it to .zip1 which wont be recognized. This fixes it. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d9d71a2af..785f827d7 100644 --- a/Makefile +++ b/Makefile @@ -40,7 +40,7 @@ system-images/utils/utils.tar: $(UTILS_SRC) cd system-images/utils && DOCKER_CLI_EXPERIMENTAL=enabled docker buildx build --tag start9/x_system/utils --platform=linux/arm64 -o type=docker,dest=utils.tar . raspios.img: - wget https://downloads.raspberrypi.org/raspios_lite_arm64/images/raspios_lite_arm64-2022-01-28/2022-01-28-raspios-bullseye-arm64-lite.zip + wget --continue https://downloads.raspberrypi.org/raspios_lite_arm64/images/raspios_lite_arm64-2022-01-28/2022-01-28-raspios-bullseye-arm64-lite.zip unzip 2022-01-28-raspios-bullseye-arm64-lite.zip mv 2022-01-28-raspios-bullseye-arm64-lite.img raspios.img