0ct0pu5/webvm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

t

Browse source
This commit is contained in:
Buzz 2024-08-21 14:39:54 +10:00 • committed by GitHub
parent 0d347d8239
commit 33e1eeb2af
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
dockerfiles/debian_mini
View file

@ -11,8 +11,10 @@ RUN rm -rf /home/user/ardupilot/modules/gsoap
RUN rm -rf /home/user/ardupilot/modules/CrashDebug
RUN rm -rf /home/user/ardupilot/modules/gbenchmark
RUN rm -rf /home/user/ardupilot/modules/Micro-XRCE-DDS-Client
RUN rm -rf /home/user/ardupilot/modules/Micro-CDR
RUN rm -rf /home/user/ardupilot/modules/gtest
RUN rm -rf /home/user/ardupilot/modules
RUN rm -rf /home/user/ardupilot/modules/ChibiOS
RUN rm -rf /home/user/ardupilot/modules/lwip
RUN git config --global --add safe.directory /home/user/ardupilot
RUN git config --global --add safe.directory /home/user/ardupilot/modules/ChibiOS