From dae1fa9771138d74f9c0a6eb01a924bb8dd7ad64 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=D0=91=D1=8B=D1=87=D0=BA=D0=BE=D0=B2=20=D0=90=D0=BD=D0=B4?= =?UTF-8?q?=D1=80=D0=B5=D0=B9?= Date: Tue, 22 Apr 2025 10:47:24 +0300 Subject: [PATCH] Update pico sdk to 2.1.1 --- Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index b46ec5d..1a1f6df 100644 --- a/Dockerfile +++ b/Dockerfile @@ -15,14 +15,14 @@ RUN apk update && \ # Raspberry Pi Pico SDK ARG SDK_PATH=/usr/share/pico_sdk -RUN git clone --depth 1 --branch 1.5.1 https://github.com/raspberrypi/pico-sdk $SDK_PATH && \ +RUN git clone --depth 1 --branch 2.1.1 --single-branch https://github.com/raspberrypi/pico-sdk $SDK_PATH && \ cd $SDK_PATH && \ git submodule update --init ENV PICO_SDK_PATH=$SDK_PATH # Picotool installation -RUN git clone --depth 1 --branch 1.1.2 https://github.com/raspberrypi/picotool.git /home/picotool && \ +RUN git clone --depth 1 --branch 2.1.1 --single-branch https://github.com/raspberrypi/picotool.git /home/picotool && \ cd /home/picotool && \ mkdir build && \ cd build && \