Update debian_mini

This commit is contained in:
Buzz 2024-08-21 19:12:08 +10:00 committed by GitHub
parent 3e1146ef28
commit 604527ebd5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -17,6 +17,7 @@ RUN python3 -m pip install empy==3.3.4
# leave enough to hopefully buld sitl.
RUN echo "getting some ardupilot sources..."
RUN mkdir -p /home/user/ardupilot/modules/mavlink
#RUN cd /home/user && git clone --depth=1 --recurse-submodules --shallow-submodules https://github.com/ArduPilot/ardupilot
RUN rm -rf /home/user/ardupilot/modules/gsoap
RUN rm -rf /home/user/ardupilot/modules/CrashDebug