Git-Mirrors/tillitis-key
1
0
Fork 0
mirror of https://github.com/tillitis/tillitis-key1.git synced 2024-12-18 12:24:31 -05:00
Code Issues Packages Projects Releases Wiki Activity

tp1 fw: Update pico-sdk to 1.5.1

Browse Source
This commit is contained in:
Michael Cardell Widerkrantz 2024-03-21 14:17:01 +01:00
parent 2ff2e9a91d
commit 48324fe5b3
No known key found for this signature in database
GPG Key ID: D3DB3DDF57E704E5
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
contrib/Dockerfile
View File

@ -85,7 +85,7 @@ RUN git >/usr/local/repo-commit-nextpnr describe --all --always --long --dirty
WORKDIR / WORKDIR /
RUN rm -rf /src 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 WORKDIR /usr/local/pico-sdk
RUN git submodule update --init RUN git submodule update --init
RUN git >/usr/local/repo-commit-picosdk describe --all --always --long --dirty RUN git >/usr/local/repo-commit-picosdk describe --all --always --long --dirty