diff --git a/pico-sensor/dockerfile b/pico-sensor/Dockerfile similarity index 96% rename from pico-sensor/dockerfile rename to pico-sensor/Dockerfile index 1163773..47ddeae 100644 --- a/pico-sensor/dockerfile +++ b/pico-sensor/Dockerfile @@ -70,7 +70,7 @@ RUN \ ENV PICO_SDK_PATH=/apps/pico-sdk/ # Patch the SDK for semihosting file I/O (needed for gcov) -COPY newlib_interface.c.patched ${PICO_SDK_PATH}/src/rp2_common/pico_clib_interface/newlib_interface.c +COPY ./pico-sensor/newlib_interface.c.patched ${PICO_SDK_PATH}/src/rp2_common/pico_clib_interface/newlib_interface.c # Build picotool so we don't have to build it for the project RUN \