From 48324fe5b38c1a9a4696b61a094ebf489548a801 Mon Sep 17 00:00:00 2001 From: Michael Cardell Widerkrantz Date: Thu, 21 Mar 2024 14:17:01 +0100 Subject: [PATCH] tp1 fw: Update pico-sdk to 1.5.1 --- contrib/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/Dockerfile b/contrib/Dockerfile index 6f98d53..531122f 100644 --- a/contrib/Dockerfile +++ b/contrib/Dockerfile @@ -85,7 +85,7 @@ RUN git >/usr/local/repo-commit-nextpnr describe --all --always --long --dirty WORKDIR / RUN rm -rf /src -RUN git clone --branch 1.5.0 --depth 1 https://github.com/raspberrypi/pico-sdk.git /usr/local/pico-sdk +RUN git clone --branch 1.5.1 --depth 1 https://github.com/raspberrypi/pico-sdk.git /usr/local/pico-sdk WORKDIR /usr/local/pico-sdk RUN git submodule update --init RUN git >/usr/local/repo-commit-picosdk describe --all --always --long --dirty