mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-10-11 20:59:22 +08:00
Makes it clearer in the output that we're skipping a board because it isn't in the configure list. Currently it just does the submodule updaet then goes onto the next build, without telling you why it's not doing anything more