Update debian_mini

This commit is contained in:
Buzz 2024-08-21 18:02:14 +10:00 committed by GitHub
parent cb86e57e53
commit 2179a5c5be
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -26,6 +26,9 @@ RUN rm -rf /home/user/ardupilot/modules/gtest
RUN rm -rf /home/user/ardupilot/modules/ChibiOS
RUN rm -rf /home/user/ardupilot/modules/lwip
#dont do this.
RUN rm -rf /home/user/ardupilot/modules
RUN echo "getting git right..."
RUN git config --global --add safe.directory /home/user/ardupilot
RUN git config --global --add safe.directory /home/user/ardupilot/modules/ChibiOS