mirror of
https://github.com/ArduPilot/ardupilot.git
synced 2026-11-07 04:40:33 +08:00
the build server uses a copy of build_binaries.py, so __file__ isn't the right directory
the build server uses a copy of build_binaries.py, so __file__ isn't the right directory