From 1281f0bea695b89c180b1e578609ec742b85a52b Mon Sep 17 00:00:00 2001 From: giomba Date: Sat, 15 Oct 2022 22:51:12 +0200 Subject: [PATCH] Use user-provided SDK. --- Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index 08264d4..6edb21f 100644 --- a/Dockerfile +++ b/Dockerfile @@ -5,10 +5,10 @@ RUN useradd -m -G sudo builder USER builder WORKDIR /home/builder -RUN git clone -b master https://github.com/raspberrypi/pico-sdk.git && cd pico-sdk && git submodule update --init +# RUN git clone -b master https://github.com/raspberrypi/pico-sdk.git && cd pico-sdk && git submodule update --init # RUN git clone -b master https://github.com/raspberrypi/pico-examples.git # RUN git clone -b master https://github.com/raspberrypi/pico-extras.git # RUN git clone -b master https://github.com/raspberrypi/pico-playground.git -ENV PICO_SDK_PATH=/home/builder/pico-sdk +ENV PICO_SDK_PATH=/home/builder/workspace/pico-sdk