From 17a8f90fefc0ffe47842c73db5db71a4109704c6 Mon Sep 17 00:00:00 2001 From: lukstep Date: Sun, 25 Jun 2023 11:59:10 +0200 Subject: [PATCH] Update SDK to 1.5.1 version and picotool to 1.1.2 --- Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index fd7d8d4..b46ec5d 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.0 https://github.com/raspberrypi/pico-sdk $SDK_PATH && \ +RUN git clone --depth 1 --branch 1.5.1 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.1 https://github.com/raspberrypi/picotool.git /home/picotool && \ +RUN git clone --depth 1 --branch 1.1.2 https://github.com/raspberrypi/picotool.git /home/picotool && \ cd /home/picotool && \ mkdir build && \ cd build && \