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