mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-10-19 08:54:04 +08:00
This option is currently ignored, but if given allows the script to continue normally. This allows us to change the autotest server to pass the option in - and then we can change autotest.py so that unless the option is given we spit out a help message rather than completely stuff up the user's development environment