mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-10-13 02:54:09 +08:00
this ensures that optimisation levels are added regardless of whether clean is run before or after a configure
this ensures that optimisation levels are added regardless of whether clean is run before or after a configure